X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=GIT-VERSION-GEN;h=df7ed327cb3f9b8f93ec596e629da4c08346e69a;hp=15c387942fad6748244a530728bf58edc69c83ff;hb=38657223b245405602bc50906a9687ce98f53857;hpb=be9f7c9b442f7b723427a79f85774d5fa7718425

diff --git a/GIT-VERSION-GEN b/GIT-VERSION-GEN
index 15c38794..df7ed327 100755
--- a/GIT-VERSION-GEN
+++ b/GIT-VERSION-GEN
@@ -16,7 +16,7 @@ elif [[ -d .git || -f .git ]] &&
 	case "$VN" in
 	*$LF*) (exit 1) ;;
 	v[0-9]*)
-		git update-index -q --refresh
+		git update-index -q --refresh &>/dev/null
 		test -z "$(git diff-index --name-only HEAD --)" ||
 		VN="$VN-dirty" ;;
 	esac
@@ -31,8 +31,10 @@ echo "$VN"
 
 [[ -z "$GVF" ]] && exit 0
 if [[ -r "$GVF" ]]; then
-	VC=$(sed -e 's/^#define GIT_VERSION "//; s/"$//' < "$GVF")
+	pattern='^#define GIT_VERSION "'
+	VC=$(grep "$pattern" < "$GVF" | sed -e "s/$pattern//; s/\"$//")
 	[[ "$VN" == "$VC" ]] && exit 0
 fi
 echo >&2 "new git version: $VN"
-echo "#define GIT_VERSION \"$VN\"" >$GVF
+echo "/** \\file ${GVF##*/} Auto-generated version file. Do not edit. */" >$GVF
+echo "#define GIT_VERSION \"$VN\"" >> $GVF