diff options
Diffstat (limited to 'strata/wayland-armv7-versatile/linux-api-headers.morph')
-rw-r--r-- | strata/wayland-armv7-versatile/linux-api-headers.morph | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/strata/wayland-armv7-versatile/linux-api-headers.morph b/strata/wayland-armv7-versatile/linux-api-headers.morph deleted file mode 100644 index 595138fe..00000000 --- a/strata/wayland-armv7-versatile/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" |