Messages in this thread Patch in this message | | | From | Masahiro Yamada <> | Subject | [PATCH 12/15] kbuild: deb-pkg: do not run headers_check | Date | Tue, 4 Jun 2019 19:14:06 +0900 |
| |
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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/package/builddeb b/scripts/package/builddeb index b03dd56a4782..e8ca6dc97e96 100755 --- a/scripts/package/builddeb +++ b/scripts/package/builddeb @@ -130,7 +130,7 @@ if is_enabled CONFIG_MODULES; then fi if [ "$ARCH" != "um" ]; then - $MAKE -f $srctree/Makefile headers_check + $MAKE -f $srctree/Makefile headers $MAKE -f $srctree/Makefile headers_install INSTALL_HDR_PATH="$libc_headers_dir/usr" fi -- 2.17.1
| |