diff options
author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2017-11-14 10:47:20 +0100 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2017-11-16 16:33:09 +0100 |
commit | 7f855fc805cd9c29867aed56cc20f818b36a7b7b (patch) | |
tree | 5f42f77a3a23af40de0853cfe29433b05968294f /scripts | |
parent | sh: decompressor: add shipped files to .gitignore (diff) | |
download | linux-7f855fc805cd9c29867aed56cc20f818b36a7b7b.tar.xz linux-7f855fc805cd9c29867aed56cc20f818b36a7b7b.zip |
kbuild: move coccicheck help from scripts/Makefile.help to top Makefile
In my view, it is not helpful to have a separate file just for
the coccicheck help message. Merge scripts/Makefile.help into
the top-level Makefile.
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Acked-by: Julia Lawall <julia.lawall@lip6.fr>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/Makefile.help | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/Makefile.help b/scripts/Makefile.help deleted file mode 100644 index d03608f5db04..000000000000 --- a/scripts/Makefile.help +++ /dev/null @@ -1,3 +0,0 @@ - -checker-help: - @echo ' coccicheck - Check with Coccinelle.' |