X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile.in;h=ca38d2436d2e34a25dd6adb22792248fab08c381;hb=5feb7a1fb1634ea649328c1787f786adeb8a50d1;hp=9126723c8cfbe085ae3e1695bd6fb1bbd35bac39;hpb=54c8ad92025a9c77c2b10644499b3944e1299187;p=goals.git

diff --git a/Goalfile.in b/Goalfile.in
index 9126723..ca38d24 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -257,6 +257,11 @@ goal dist = "%tarfile" : {
         mkdir -p "$d/$subdir"
         cp -a "$f" "$d/$subdir"
     done
+    # Replace $d/install-sh with a real file
+    if [ -L "$d/install-sh" ]; then
+        rm "$d/install-sh"
+        cp -L "install-sh" "$d/install-sh"
+    fi
     tar zcf "$o-t" "$d"
     mv "$o-t" "$o"
     rm -rf "$d"