nitlanguage
/
nit.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge: doc: fixed some typos and other misc. corrections
[nit.git]
/
src
/
git-gen-version.sh
diff --git
a/src/git-gen-version.sh
b/src/git-gen-version.sh
index
d80eff8
..
9395647
100755
(executable)
--- a/
src/git-gen-version.sh
+++ b/
src/git-gen-version.sh
@@
-20,10
+20,8
@@
# The version number is stored in a dedicated Nit module.
gen_version() {
# 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 "$*"
# This file was generated by git-gen-version.sh
module version
fun nit_version: String do return "$*"