1#! /bin/sh 2srcdir=@abs_srcdir@ 3PACKAGE=@PACKAGE@ 4VERSION=@VERSION@ 5 6if test -f $srcdir/.git/HEAD; then 7 GIT_REPO="$srcdir/.git" 8 GIT_HEAD_ID=`GIT_DIR=$GIT_REPO git describe` 9elif test -f $srcdir/CLOOG_HEAD; then 10 GIT_HEAD_ID=`cat $srcdir/CLOOG_HEAD` 11else 12 GIT_HEAD_ID="$PACKAGE-$VERSION-UNKNOWN" 13fi 14 15echo $GIT_HEAD_ID | sed -e 's/cloog-//' 16