# 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
-meth nit_version: String do return "$*"
+fun nit_version: String do return "$*"
END
echo "Version $*"
fi
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)"