2019-09-28 00:17:56 +08:00
|
|
|
name=linux
|
|
|
|
|
version=4.19.66
|
|
|
|
|
source=(https://www.kernel.org/pub/linux/kernel/v4.x/linux-$version.tar.xz)
|
2018-12-01 00:12:45 +08:00
|
|
|
|
2019-09-28 00:17:56 +08:00
|
|
|
build() {
|
|
|
|
|
cd linux-$version
|
2018-12-01 00:12:45 +08:00
|
|
|
make mrproper
|
|
|
|
|
make INSTALL_HDR_PATH=dest headers_install
|
|
|
|
|
cp -rv dest/include/* /tools/include
|
2019-09-28 00:17:56 +08:00
|
|
|
}
|
