]> www.infradead.org Git - users/dwmw2/linux.git/commit
projects / users / dwmw2 / linux.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 555187a) | patch
kbuild: deb-pkg: do not run headers_check
authorMasahiro Yamada <yamada.masahiro@socionext.com>
Tue, 4 Jun 2019 10:14:06 +0000 (19:14 +0900)
committerMasahiro Yamada <yamada.masahiro@socionext.com>
Sat, 15 Jun 2019 10:57:02 +0000 (19:57 +0900)
commit0315bb7a25267bfeee2a7aaed5d1b4ba915e0c53
treee0523da742aa25a4bc1dce3c2ccc720fbcadc00ftree
parent555187a8791d492bed4dc57aae93b47162f6398dcommit | 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>
scripts/package/builddeb diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.