]> git.proxmox.com Git - mirror_ubuntu-eoan-kernel.git/commitdiff
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)
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

index b03dd56a4782b481fc4e176b022d652ec60df2e4..e8ca6dc97e963e207017773b6a939b26319e5521 100755 (executable)
@@ -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