scripts: don't overwrite generated version if we're not in a git repo

1 files changed, 9 insertions, 0 deletions

diff --git a/scripts/generateVersion.sh b/scripts/generateVersion.sh
index fdcc4712..e88cef3f 100755
--- a/scripts/generateVersion.sh
+++ b/scripts/generateVersion.sh
@@ -1,4 +1,13 @@
 #!/bin/sh
+
+# if the git directory doesn't exist, don't gather data to avoid overwriting, unless
+# the version file is missing altogether (otherwise compiling will fail)
+if [[ ! -d ./.git ]]; then
+    if [[ -f ./src/version.h ]]; then
+        exit 0
+    fi
+fi
+
 cp -fr ./src/version.h.in ./src/version.h
 
 HASH=${HASH-$(git rev-parse HEAD)}