From 12565a0a69c642394391912652cd98d35ad44ed4 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Mon, 05 May 2014 16:01:39 -0400
Subject: build: Build and install a Linux image.

---
diff --git a/build b/build
index 1a99618..3482e25 100755
--- a/build
+++ b/build
@@ -2,12 +2,28 @@
 
 include ../source.mk
 
+KBUILD_ARCH = $$(oh-architecture "$${OPK_HOST_ARCH}")
+
 nop:
 	@:
 
 build:
+	set -e; \
+	if [ 'x$(OPK_HOST_PLAT)' != 'xdev' ]; then \
+		read img_src img_dest <image; \
+		oh-autobuild -T mrproper; \
+		oh-autobuild -T "$${img_src}" -- -j "$${JOBS:-1}"; \
+	fi
 
 install:
+	set -e; \
+	if [ 'x$(OPK_HOST_PLAT)' != 'xdev' ]; then \
+		read img_src img_dest <image; \
+		install -D "src/arch/$${KBUILD_ARCH}/boot/$${img_src}" \
+			linux-image.data/boot/$${img_dest}; \
+		install -D src/System.map \
+			linux-sysmap.data/boot/System.map; \
+	fi
 	oh-autoinstall -T headers_install -- INSTALL_HDR_PATH="$${PWD}/dest/usr"
 	find dest/usr/include \
 		\( -name .install -o -name ..install.cmd \
--
cgit v0.9.1