diff options
| -rwxr-xr-x | build | 39 |
1 files changed, 32 insertions, 7 deletions
@@ -1,13 +1,38 @@ #! /usr/bin/make -f -linux-libre linux-libre-headers: linux-libre.buildstamp +linux-libre linux-libre-headers: linux-libre.stamp -.SILENT: linux-libre.buildstamp -linux-libre.buildstamp: - cd src && make oldconfig && make && \ - make install && make headers_install +linux-libre.config.stamp: + cd src && \ + make mrproper && \ + make oldconfig + touch linux-libre.config.stamp + +linux-libre.build.stamp: linux-libre.config.stamp + cd src && \ + make + touch linux-libre.build.stamp + +linux-libre.install.stamp: linux-libre.build.stamp + install -m 644 "src/arch/$${ARCH}/boot/*Image" \ + "dest/boot/vmlinuz-$${OH_PKGVER%%-*}" + cp src/.config "dest/boot/config-$${OH_PKGVER%%-*}" + cp src/System.map "dest/boot/System.map-$${OH_PKGVER%%-*}" + touch linux-libre.install.stamp + +linux-libre-headers.install.stamp: + cd src && \ + make headers_check && \ + make INSTALL_HDR_PATH="$$(pwd)/../dest/usr" headers_install + touch linux-libre-headers.install.stamp + +linux-libre.stamp: linux-libre.install.stamp linux-libre-headers.install.stamp oh-installfiles linux-libre linux-libre-headers - oh-installdocs linux-libre linux-libre-headers + oh-installdocs linux-libre oh-gencontrol linux-libre linux-libre-headers oh-buildopk linux-libre linux-libre-headers - touch linux-libre.buildstamp + touch linux-libre.stamp + +.SILENT: linux-libre.config.stamp linux-libre.build.stamp \ + linux-libre.install.stamp linux-libre-headers.install.stamp \ + linux-libre.stamp |