Diffstat (limited to 'gen-version.sh')
| -rwxr-xr-x | gen-version.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/gen-version.sh b/gen-version.sh deleted file mode 100755 index 739c83e..0000000 --- a/gen-version.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -# Get version-info specified in Makefile -V=$1 - -# Use `git describe` to get current version if we're inside a git repo -if test -d .git -then - V=$(git describe --abbrev=4 HEAD 2>/dev/null | sed -e 's/-/./g') -fi - -new="CGIT_VERSION = $V" -old=$(cat VERSION 2>/dev/null) - -# Exit if VERSION is uptodate -test "$old" = "$new" && exit 0 - -# Update VERSION with new version-info -echo "$new" > VERSION -cat VERSION |