diff options
author | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2012-12-27 18:15:47 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2012-12-27 18:15:47 +0000 |
commit | 07ccfddd8c72c3a24f5132c3125b130061d254a8 (patch) | |
tree | b3b9630a7f262af7ca41e835996c2441b257cb7c | |
parent | 2969a153f78114efcceeefedb7ef34579e264204 (diff) | |
download | linux-07ccfddd8c72c3a24f5132c3125b130061d254a8.tar.gz |
Don't run 'make headers_check', since it also requires Perl
-rw-r--r-- | linux-api-headers.morph | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/linux-api-headers.morph b/linux-api-headers.morph index 76e21ff31c1d..0ec7d2eae2d7 100644 --- a/linux-api-headers.morph +++ b/linux-api-headers.morph @@ -1,11 +1,8 @@ { "name": "linux-api-headers", "kind": "chunk", - "build-commands": [ - "make mrproper", - "make headers_check" - ], "install-commands": [ + "make mrproper", "make INSTALL_HDR_PATH=dest headers_install", "install -d \"$DESTDIR${PREFIX-/usr}/include\"", "cp -r dest/include/* \"$DESTDIR/${PREFIX-/usr}/include\"" |