summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
8d62ca2)
Signed-off-by: Jean Privat <jean@pryen.org>
# The version number is stored in a dedicated Nit module.
gen_version() {
# 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
# This file was generated by git-gen-version.sh
package nit_version
meth nit_version: String do return "$*"
END
}
# Are we in the nitc.nit directory?
}
# Are we in the nitc.nit directory?