summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSam Thursfield <sam.thursfield@codethink.co.uk>2012-12-27 18:15:47 +0000
committerSam Thursfield <sam.thursfield@codethink.co.uk>2012-12-27 18:15:47 +0000
commit07ccfddd8c72c3a24f5132c3125b130061d254a8 (patch)
treeb3b9630a7f262af7ca41e835996c2441b257cb7c
parent2969a153f78114efcceeefedb7ef34579e264204 (diff)
downloadlinux-07ccfddd8c72c3a24f5132c3125b130061d254a8.tar.gz
Don't run 'make headers_check', since it also requires Perl
-rw-r--r--linux-api-headers.morph5
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\""