Better handling of exec extension in the git wrapper script

diff --git a/Makefile b/Makefile
index e5b8a51afe7b370b6a8964bec821fd894ad7e6fa..38330c2e90e0e19f5a00945d5a4c4bf19008c676 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -273,7 +273,8 @@ all:
 git: git.sh Makefile
        rm -f $@+ $@
        sed -e '1s|#!.*/sh|#!$(SHELL_PATH)|' \
-           -e 's/@@GIT_VERSION@@/$(GIT_VERSION)/g' <$@.sh >$@+
+           -e 's/@@GIT_VERSION@@/$(GIT_VERSION)/g' \
+           -e 's/@@X@@/$(X)/g' <$@.sh >$@+
        chmod +x $@+
        mv $@+ $@