diff options
| -rwxr-xr-x | build | 16 |
1 files changed, 16 insertions, 0 deletions
@@ -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 \ |