diff options
author | Javier Jardón <jjardon@gnome.org> | 2014-08-28 01:22:20 +0100 |
---|---|---|
committer | Richard Maw <richard.maw@codethink.co.uk> | 2014-08-28 11:46:22 +0100 |
commit | 2dd1221be7a51124ac10c8b78111e31fba0f8549 (patch) | |
tree | 83b29fa0186ed4f1c6278815496443216bed119b /strata/input-common/linux-api-headers.morph | |
parent | 6b50da00ab1d1435b85e40d8345e209c8c36f3df (diff) | |
download | definitions-2dd1221be7a51124ac10c8b78111e31fba0f8549.tar.gz |
input-common: linux-api-headers is already in build-essential
Diffstat (limited to 'strata/input-common/linux-api-headers.morph')
-rw-r--r-- | strata/input-common/linux-api-headers.morph | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/strata/input-common/linux-api-headers.morph b/strata/input-common/linux-api-headers.morph deleted file mode 100644 index 595138fe..00000000 --- a/strata/input-common/linux-api-headers.morph +++ /dev/null @@ -1,9 +0,0 @@ -name: linux-api-headers -kind: chunk -build-commands: -- make mrproper -- make headers_check -install-commands: -- make INSTALL_HDR_PATH=dest headers_install -- install -d "$DESTDIR${PREFIX-/usr}/include" -- cp -r dest/include/* "$DESTDIR/${PREFIX-/usr}/include" |