2017-12-09 21:51:48 +01:00
|
|
|
# inherit package details from kernel package
|
|
|
|
source "$SCRIPTDIR/pkg/$LINUXPKG/build"
|
2018-01-24 12:52:41 +01:00
|
|
|
DEPENDS=""
|
2017-12-09 21:51:48 +01:00
|
|
|
|
|
|
|
build() {
|
2018-10-19 19:04:00 +02:00
|
|
|
local LINUX_CPU=$(get_linux_cpu)
|
|
|
|
|
2018-02-16 23:22:04 +01:00
|
|
|
make -C "$1" O="$PKGBUILDDIR" ARCH="$LINUX_CPU" mrproper
|
|
|
|
make -C "$1" O="$PKGBUILDDIR" ARCH="$LINUX_CPU" headers_check
|
2017-12-09 21:51:48 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
deploy() {
|
2018-10-19 19:04:00 +02:00
|
|
|
local LINUX_CPU=$(get_linux_cpu)
|
2017-12-09 21:51:48 +01:00
|
|
|
|
2018-02-16 23:22:04 +01:00
|
|
|
export KBUILD_OUTPUT="$PKGBUILDDIR"
|
2018-10-19 19:04:00 +02:00
|
|
|
make -C "$1" O="$PKGBUILDDIR" ARCH="$LINUX_CPU" INSTALL_HDR_PATH="$2" headers_install
|
2017-12-09 21:51:48 +01:00
|
|
|
}
|