diff options
author | Richard Maw <richard.maw@codethink.co.uk> | 2012-03-13 17:15:35 +0000 |
---|---|---|
committer | Sam Thursfield <sam.thursfield@codethink.co.uk> | 2012-08-31 13:11:09 +0100 |
commit | 049f8e3b45fe1b8cf4eca7b5791305e6b0a7bfb2 (patch) | |
tree | fcaf895c640415cd143bdd62cc7b2f55a67e2303 | |
parent | 42bd41a70896175ca45dbfeba2a0c3f73332c82c (diff) | |
download | linux-049f8e3b45fe1b8cf4eca7b5791305e6b0a7bfb2.tar.gz |
headers.morph: allow PREFIX to vary
-rw-r--r-- | linux-api-headers.morph | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/linux-api-headers.morph b/linux-api-headers.morph index b556ad6bfcae..bcbfe821b81f 100644 --- a/linux-api-headers.morph +++ b/linux-api-headers.morph @@ -7,7 +7,7 @@ ], "install-commands": [ "make INSTALL_HDR_PATH=dest headers_install", - "install -d \"$DESTDIR/usr/include\"", - "cp -r dest/include/* \"$DESTDIR/usr/include\"" + "install -d \"$DESTDIR/$PREFIX/include\"", + "cp -r dest/include/* \"$DESTDIR/$PREFIX/include\"" ] } |