2019-09-28 00:17:56 +08:00
|
|
|
name=linux
|
2020-06-12 16:42:33 +08:00
|
|
|
version=5.4.44
|
|
|
|
|
source=(https://www.kernel.org/pub/linux/kernel/v5.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
|
2020-07-02 23:33:24 +08:00
|
|
|
make headers
|
|
|
|
|
find usr/include -name '.*' -delete
|
|
|
|
|
rm usr/include/Makefile
|
|
|
|
|
mkdir -p /tools/include
|
|
|
|
|
cp -rv usr/include/* /tools/include
|
2019-09-28 00:17:56 +08:00
|
|
|
}
|
