git-gen-version: Simplify a `if`
authorJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Wed, 22 Jun 2016 21:10:59 +0000 (17:10 -0400)
committerJean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>
Sun, 7 May 2017 06:40:43 +0000 (02:40 -0400)
Signed-off-by: Jean-Christophe Beaupré <jcbrinfo@users.noreply.github.com>

src/git-gen-version.sh

index d80eff8..9395647 100755 (executable)
 # 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 "$*"