diff options
author | Lars Wirzenius <lars.wirzenius@codethink.co.uk> | 2011-11-18 12:07:32 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2012-08-31 13:11:06 +0100 |
commit | 590d780105a58993703b5251fbc17c3c42338f31 (patch) | |
tree | f138dda5906cfb37e64a54534e93830b3c67fc7a | |
parent | 9a043b091098147fe46650b6b684e307fd553b90 (diff) | |
download | linux-590d780105a58993703b5251fbc17c3c42338f31.tar.gz |
Split off building of api headers to its own morphology
-rw-r--r-- | linux-api-headers.morph | 12 | ||||
-rw-r--r-- | linux.morph | 18 |
2 files changed, 15 insertions, 15 deletions
diff --git a/linux-api-headers.morph b/linux-api-headers.morph new file mode 100644 index 000000000000..734f5b97621f --- /dev/null +++ b/linux-api-headers.morph @@ -0,0 +1,12 @@ +{ + "name": "linux-api-headers", + "kind": "chunk", + "build-commands": [ + "make mrproper", + "make headers_check" + ], + "install-commands": [ + "make INSTALL_HDR_PATH=dest headers_install", + "cp -r dest/include/* \"$DESTDIR/usr/include\"" + ] +} diff --git a/linux.morph b/linux.morph index c5c2338374c6..708c5f4939be 100644 --- a/linux.morph +++ b/linux.morph @@ -26,21 +26,9 @@ "scripts/config -d JBD2_DEBUG" ], "build-commands": [ - "make", - "make mrproper", - "make headers_check", - "make INSTALL_HDR_PATH=dest headers_install" + "make" ], "install-commands": [ - "echo xxxx files in source tree: && find . && cp arch/x86/boot/bzImage \"$DESTDIR\"/vmlinuz", - "cp -r dest/include/* \"$DESTDIR/usr/include\"" - ], - "chunks": { - "linux": [ - "vmlinuz" - ], - "linux-api-headers": [ - "usr/include" - ] - } + "cp arch/x86/boot/bzImage \"$DESTDIR\"/vmlinuz" + ] } |