diff options
Diffstat (limited to 'cloog-0.16.3/genversion.sh.in')
| -rwxr-xr-x | cloog-0.16.3/genversion.sh.in | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/cloog-0.16.3/genversion.sh.in b/cloog-0.16.3/genversion.sh.in deleted file mode 100755 index 77c04d7..0000000 --- a/cloog-0.16.3/genversion.sh.in +++ /dev/null @@ -1,15 +0,0 @@ -#! /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-//' |