diff options
Diffstat (limited to 'misc/firestring/files/patch-firemake__headers')
| -rw-r--r-- | misc/firestring/files/patch-firemake__headers | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/misc/firestring/files/patch-firemake__headers b/misc/firestring/files/patch-firemake__headers new file mode 100644 index 000000000000..8ff3fd26289b --- /dev/null +++ b/misc/firestring/files/patch-firemake__headers @@ -0,0 +1,11 @@ +--- firemake/headers.orig 2014-05-20 14:43:33.135642364 +0800 ++++ firemake/headers 2014-05-20 14:43:44.118599465 +0800 +@@ -16,7 +16,7 @@ case $PHASE in + $ECHO "install_headers:" + + for HEADER in $HEADERS; do +- $ECHO " $INSTALL $HEADER \$(INCLUDEDIR) $INSTALL_USER $INSTALL_GROUP 0644" ++ $ECHO " $INSTALL $HEADER \$(DESTDIR)\$(INCLUDEDIR) $INSTALL_USER $INSTALL_GROUP 0644" + done + $ECHO + |