2019-09-28 00:17:56 +08:00
|
|
|
name=linux
|
2021-06-13 19:27:19 +08:00
|
|
|
version=5.12.10
|
2021-04-18 08:19:42 +08:00
|
|
|
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
|
|
|
}
|
