diff options
| author | Kees Cook <[email protected]> | 2021-06-17 15:58:08 -0700 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2021-06-18 11:26:08 -0600 |
| commit | 222a28edce38b62074a950fb243df621c602b4d3 (patch) | |
| tree | b15248f4cc0ac3145e4ae5a785a5d5cfbaefca07 /scripts/gdb/linux/timerlist.py | |
| parent | 102caec1075fe993fb1ef95368ec1c3b2e5d0d77 (diff) | |
docs: Makefile: Use CONFIG_SHELL not SHELL
Fix think-o about which variable to find the Kbuild-configured shell.
This has accidentally worked due to most shells setting $SHELL by
default.
Fixes: 51e46c7a4007 ("docs, parallelism: Rearrange how jobserver reservations are made")
Cc: [email protected]
Signed-off-by: Kees Cook <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/timerlist.py')
0 files changed, 0 insertions, 0 deletions