diff options
| author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-09-25 13:56:37 +0100 |
|---|---|---|
| committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2014-09-26 14:49:19 +0100 |
| commit | aed28005d38d2c0f5e64eaaf455bdd419d2453b2 (patch) | |
| tree | 7965ca17c01d0adefd2e78f6bec805fe34333d59 /strata/build-essential | |
| parent | edf589f356930ab47a04fec39bfcf55bac10329c (diff) | |
| download | definitions-aed28005d38d2c0f5e64eaaf455bdd419d2453b2.tar.gz | |
Use linux-api-headers from Linux 3.8
The 'make mrproper' command now requires GNU Bash, but since we start
from a clean Git checkout of linux.git we can just remove that from the
build command list.
Diffstat (limited to 'strata/build-essential')
| -rw-r--r-- | strata/build-essential/linux-api-headers.morph | 1 | ||||
| -rw-r--r-- | strata/build-essential/stage2-linux-api-headers.morph | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/strata/build-essential/linux-api-headers.morph b/strata/build-essential/linux-api-headers.morph index d28b0905..e1ff2638 100644 --- a/strata/build-essential/linux-api-headers.morph +++ b/strata/build-essential/linux-api-headers.morph @@ -1,7 +1,6 @@ name: linux-api-headers kind: chunk install-commands: -- make mrproper - ARCH=$(./morph-arch) make INSTALL_HDR_PATH=dest headers_install - install -d "$DESTDIR${PREFIX-/usr}/include" - cp -r dest/include/* "$DESTDIR/${PREFIX-/usr}/include" diff --git a/strata/build-essential/stage2-linux-api-headers.morph b/strata/build-essential/stage2-linux-api-headers.morph index e7d1f8ed..5cbf2f05 100644 --- a/strata/build-essential/stage2-linux-api-headers.morph +++ b/strata/build-essential/stage2-linux-api-headers.morph @@ -1,7 +1,6 @@ name: stage2-linux-api-headers kind: chunk install-commands: -- make mrproper - | export ARCH=$(./morph-arch) make INSTALL_HDR_PATH=dest headers_install |