diff --git a/cmd-rename.sh b/cmd-rename.sh index ada33fb51d..ad3285b797 100755 --- a/cmd-rename.sh +++ b/cmd-rename.sh @@ -4,7 +4,9 @@ test -d "$d" || exit while read old new do rm -f "$d/$old" + if [ -x "$d/$new" ]; then ln -s "$new" "$d/$old" + fi done <<\EOF git-add-script git-add git-archimport-script git-archimport