From e9dd0d26b4d8428d41c3051dd90867c1d29eb117 Mon Sep 17 00:00:00 2001
From: Cedric Bastoul <cedric.bastoul@unistra.fr>
Date: Mon, 27 Jul 2015 13:40:20 +0200
Subject: [PATCH] Use git option rev-parse instead of non-working option
 describe in genversion

---
 genversion.sh.in | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/genversion.sh.in b/genversion.sh.in
index 77c04d7..0f8b449 100755
--- a/genversion.sh.in
+++ b/genversion.sh.in
@@ -5,7 +5,7 @@ VERSION=@VERSION@
 
 if test -f $srcdir/.git/HEAD; then
     GIT_REPO="$srcdir/.git"
-    GIT_HEAD_ID=`GIT_DIR=$GIT_REPO git describe`
+    GIT_HEAD_ID="$PACKAGE-$VERSION-`GIT_DIR=$GIT_REPO git rev-parse --short HEAD`"
 elif test -f $srcdir/CLOOG_HEAD; then
     GIT_HEAD_ID=`cat $srcdir/CLOOG_HEAD`
 else
-- 
2.11.4.GIT