diff options
author | Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-06-04 12:14:06 +0200 |
---|---|---|
committer | Masahiro Yamada <yamada.masahiro@socionext.com> | 2019-06-15 12:57:02 +0200 |
commit | 0315bb7a25267bfeee2a7aaed5d1b4ba915e0c53 (patch) | |
tree | e0523da742aa25a4bc1dce3c2ccc720fbcadc00f /init | |
parent | kbuild: simplify scripts/headers_install.sh (diff) | |
download | linux-0315bb7a25267bfeee2a7aaed5d1b4ba915e0c53.tar.xz linux-0315bb7a25267bfeee2a7aaed5d1b4ba915e0c53.zip |
kbuild: deb-pkg: do not run headers_check
It is absolutely fine to add extra sanity checks in package scripts,
but it is not necessary to do so.
This is already covered by the daily compile-testing (0day bot etc.)
because headers_check is run as a part of the normal build process
when CONFIG_HEADERS_CHECK=y.
Replace it with the newly-added "make headers".
Signed-off-by: Masahiro Yamada <yamada.masahiro@socionext.com>
Diffstat (limited to 'init')
0 files changed, 0 insertions, 0 deletions