From f2089b2872755c4a55b7910da51d2d76a60119c7 Mon Sep 17 00:00:00 2001
From: Jean Privat <jean@pryen.org>
Date: Mon, 6 Jul 2009 15:33:31 -0400
Subject: [PATCH] tools: do not regenerate nit_version.nit if not needed

Signed-off-by: Jean Privat <jean@pryen.org>
---
 src/git-gen-version.sh |    6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/git-gen-version.sh b/src/git-gen-version.sh
index 601b2b2..a165bc3 100755
--- a/src/git-gen-version.sh
+++ b/src/git-gen-version.sh
@@ -20,12 +20,14 @@
 # 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
-echo "Version $*"
+		echo "Version $*"
+	fi
 }
 
 # Are we in the nitc.nit directory?
-- 
1.7.9.5