diff options
| author | Randy Dunlap <rdunlap@infradead.org> | 2020-12-19 18:08:05 +0100 |
|---|---|---|
| committer | Masahiro Yamada <masahiroy@kernel.org> | 2021-01-04 02:38:11 +0100 |
| commit | d39648eb67ac851c7918c794424c266a5d2635b9 (patch) | |
| tree | 9477b79dff583d56821381c559243ec3d3612a85 /scripts/config | |
| parent | MAINTAINERS: adjust GCC PLUGINS after gcc-plugin.sh removal (diff) | |
| download | linux-d39648eb67ac851c7918c794424c266a5d2635b9.tar.xz linux-d39648eb67ac851c7918c794424c266a5d2635b9.zip | |
kconfig: config script: add a little user help
Give the user a clue about the problem along with the 35 lines of
usage/help text.
Signed-off-by: Randy Dunlap <rdunlap@infradead.org>
Cc: Andi Kleen <ak@linux.intel.com>
Cc: Masahiro Yamada <masahiroy@kernel.org>
Cc: linux-kbuild@vger.kernel.org
Signed-off-by: Masahiro Yamada <masahiroy@kernel.org>
Diffstat (limited to 'scripts/config')
| -rwxr-xr-x | scripts/config | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/config b/scripts/config index 8c8d7c3d7acc..ff88e2faefd3 100755 --- a/scripts/config +++ b/scripts/config @@ -223,6 +223,7 @@ while [ "$1" != "" ] ; do ;; *) + echo "bad command: $CMD" >&2 usage ;; esac |