diff options
| author | Kees Cook <keescook@chromium.org> | 2019-11-21 12:59:27 -0800 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2019-11-22 10:35:11 -0700 |
| commit | 4920323cffc0fe10ac107ab3e94d1bd218a678d9 (patch) | |
| tree | 95facc81a5c5ddda7addb2a42ecf8a1bdd66966a /scripts/gdb/linux/genpd.py | |
| parent | e3fedd570dedc0cde6240aff7a2bf62043b67ce9 (diff) | |
docs, parallelism: Fix failure path and add comment
Rasmus noted that the failure path didn't correctly exit. Fix this and
add another comment about GNU Make's job server environment variable
names over time.
Reported-by: Rasmus Villemoes <linux@rasmusvillemoes.dk>
Link: https://lore.kernel.org/lkml/eb25959a-9ec4-3530-2031-d9d716b40b20@rasmusvillemoes.dk
Signed-off-by: Kees Cook <keescook@chromium.org>
Link: https://lore.kernel.org/r/20191121205929.40371-2-keescook@chromium.org
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/gdb/linux/genpd.py')
0 files changed, 0 insertions, 0 deletions