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