tools: fix or assume some bashism

[nit.git] / src / git-gen-version.sh

diff --git a/src/git-gen-version.sh b/src/git-gen-version.sh
index b21d8bb..e018dc6 100755 (executable)
--- a/src/git-gen-version.sh
+++ b/src/git-gen-version.sh
@@ -20,7 +20,9 @@
 # The version number is stored in a dedicated Nit module.
 
 gen_version() {
-       if ! grep "$*" nit_version.nit >/dev/null 2>&1; then
+       if grep "$*" nit_version.nit >/dev/null 2>&1; then
+               :
+       else
                cat > nit_version.nit<<END
 # This file was generated by git-gen-version.sh
 package nit_version
@@ -40,7 +42,7 @@ if [ ! -f nitc.nit ]; then
        fi
 fi
 
-VN=$(git describe --always HEAD 2>/dev/null)
+VN=`git describe --always HEAD 2>/dev/null`
 if [ "$?" != "0" ]; then
        if [ -r ../VERSION ]; then
                VN="$(cat ../VERSION)"