diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -16,7 +16,7 @@ arch=(x86_64) url="https://kernel.org/" license=(GPL2) makedepends=( - bc kmod libelf + bc kmod libelf pahole xmlto python-sphinx python-sphinx_rtd_theme graphviz imagemagick git ) @@ -92,7 +92,7 @@ _package() { echo "$pkgbase" | install -Dm644 /dev/stdin "$modulesdir/pkgbase" echo "Installing modules..." - make INSTALL_MOD_PATH="$pkgdir/usr" modules_install + make INSTALL_MOD_PATH="$pkgdir/usr" INSTALL_MOD_STRIP=1 modules_install # remove build and source links rm "$modulesdir"/{source,build} @@ -168,6 +168,9 @@ _package-headers() { esac done < <(find "$builddir" -type f -perm -u+x ! -name vmlinux -print0) + echo "Stripping vmlinux..." + strip -v $STRIP_STATIC "$builddir/vmlinux" + echo "Adding symlink..." mkdir -p "$pkgdir/usr/src" ln -sr "$builddir" "$pkgdir/usr/src/$pkgbase" |