6 if test -f $srcdir/.git
/HEAD
; then
7 GIT_REPO
="$srcdir/.git"
8 GIT_HEAD_ID
=`GIT_DIR=$GIT_REPO git describe`
9 elif test -f $srcdir/CLOOG_HEAD
; then
10 GIT_HEAD_ID
=`cat $srcdir/CLOOG_HEAD`
12 GIT_HEAD_ID
="$PACKAGE-$VERSION-UNKNOWN"
15 echo $GIT_HEAD_ID |
sed -e 's/cloog-//'