diff options
Diffstat (limited to 'wayland-x86_64-generic/linux-api-headers.morph')
-rw-r--r-- | wayland-x86_64-generic/linux-api-headers.morph | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/wayland-x86_64-generic/linux-api-headers.morph b/wayland-x86_64-generic/linux-api-headers.morph new file mode 100644 index 00000000..3aa921f5 --- /dev/null +++ b/wayland-x86_64-generic/linux-api-headers.morph @@ -0,0 +1,11 @@ +name: wayland-x86_64-generic/linux-api-headers.morph +kind: chunk +repo: upstream:linux +ref: 316df4c3eb667636eadf4b663f4087f1f9cc3cfe +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" |