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