diff options
author | Kees Cook <keescook@chromium.org> | 2021-06-17 15:58:08 -0700 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2021-06-18 11:26:08 -0600 |
commit | 222a28edce38b62074a950fb243df621c602b4d3 (patch) | |
tree | b15248f4cc0ac3145e4ae5a785a5d5cfbaefca07 /Documentation/x86 | |
parent | 102caec1075fe993fb1ef95368ec1c3b2e5d0d77 (diff) | |
download | linux-222a28edce38b62074a950fb243df621c602b4d3.tar.bz2 |
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: stable@vger.kernel.org
Signed-off-by: Kees Cook <keescook@chromium.org>
Link: https://lore.kernel.org/r/20210617225808.3907377-1-keescook@chromium.org
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/x86')
0 files changed, 0 insertions, 0 deletions