diff options
author | Masahiro Yamada | 2019-06-04 19:14:06 +0900 |
---|---|---|
committer | Masahiro Yamada | 2019-06-15 19:57:02 +0900 |
commit | 0315bb7a25267bfeee2a7aaed5d1b4ba915e0c53 (patch) | |
tree | e0523da742aa25a4bc1dce3c2ccc720fbcadc00f /init | |
parent | 555187a8791d492bed4dc57aae93b47162f6398d (diff) |
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