From a451840f27fbc6fdc21db41f300e9015d21d853a Mon Sep 17 00:00:00 2001
From: Giovanni Bussi <giovanni.bussi@gmail.com>
Date: Thu, 2 Jul 2015 20:45:08 +0200
Subject: [PATCH] Git version indicates if dirty
---
src/maketools/update-version.sh | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/maketools/update-version.sh b/src/maketools/update-version.sh
index 717ef392e..5f255a31d 100755
--- a/src/maketools/update-version.sh
+++ b/src/maketools/update-version.sh
@@ -19,9 +19,9 @@ echo "#define PLUMED_VERSION_LONG \"$(
echo "#define PLUMED_VERSION_GIT \"$(
if test -d ../../.git && hash git 2> /dev/null ; then
-# describe --tags gives a nive name
+# describe --tags gives a nice name
# in case it does not work, fallback to normal hash (12 char long)
- git describe --tags || git rev-parse --short=12 HEAD
+ git describe --long --tags --dirty --always || git rev-parse --short=12 HEAD
else
echo "Unknown"
fi
--
GitLab