From 5feb7a1fb1634ea649328c1787f786adeb8a50d1 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Sat, 18 Jan 2020 15:51:37 +0000 Subject: [PATCH] dist: Replace install-sh symlink with a copy of the file. --- Goalfile.in | 5 +++++ 1 file changed, 5 insertions(+) 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" -- 1.8.3.1