Signed-off-by: Jean Privat <jean@pryen.org>
# The version number is stored in a dedicated Nit module.
gen_version() {
-cat > nit_version.nit<<END
+ if ! grep "$*" nit_version.nit >/dev/null 2>&1; then
+ cat > nit_version.nit<<END
# This file was generated by git-gen-version.sh
package nit_version
meth nit_version: String do return "$*"
END
-echo "Version $*"
+ echo "Version $*"
+ fi
}
# Are we in the nitc.nit directory?