From ab983d62c60969dbdc3834316f9a41b3c769017c Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pjm@nac.net>
Date: Sun, 29 Apr 2012 11:43:21 -0400
Subject: Rewrite "build" makefile.

---
diff --git a/build b/build
index 420d051..676ed7f 100755
--- a/build
+++ b/build
@@ -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
--
cgit v0.9.1