check_version: don't globber .git_version if we're not in a git repo

namely, when you extract the release tarball!

diff --git a/src/check_version b/src/check_version
index bce3ba5dd6b9cfbcbff57cd9fcbc85ec046620e9..0c9c1b0ac122d813efbd73534e381348406b836f 100755 (executable)
--- a/src/check_version
+++ b/src/check_version
@@ -1,5 +1,10 @@
 #!/bin/bash
 
+if [ ! -d ../.git ]; then
+    echo "not updating .git_version (no ../.git)"
+    exit 0
+fi
+
 dname=`dirname $0`
 cur=`git rev-parse HEAD 2>/dev/null`
 [ -e $1 ] && old=`cat $1`