generate a true shell script

[git-tools-moved-to-github.git] / id-release

diff --git a/id-release b/id-release
index 5acbcfb..8039946 100755 (executable)
--- a/id-release
+++ b/id-release
@@ -22,7 +22,9 @@ case $1 in
        * ) usage ;;
 esac
 
+echo "#!/bin/sh"
 echo "# See also https://twiki.indexdata.com/twiki/bin/view/ID/AdamsReleaseProcedure"
+echo "set -e"
 echo ""
 
 echo "# Did you updated the news log file?"
@@ -99,3 +101,5 @@ echo "# if successfully, don't forget to push to origin"
 echo "git push origin master"
 echo "git push origin tag v$version"
 
+# EOF
+