# The version number is stored in a dedicated Nit module.
gen_version() {
- if grep "$*" nit_version.nit >/dev/null 2>&1; then
+ if grep "$*" version.nit >/dev/null 2>&1; then
:
else
- cat > nit_version.nit<<END
+ cat > version.nit<<END
# This file was generated by git-gen-version.sh
-module nit_version
+module version
fun nit_version: String do return "$*"
END
echo "Version $*"