diff options
Diffstat (limited to 'Config')
| -rwxr-xr-x | Config | 18 |
1 files changed, 1 insertions, 17 deletions
@@ -209,23 +209,7 @@ if [ ! "$NO_INTRO" ] ; then ;; esac . $SOURCE_DIR/src/version.sh - if [ -d .git ] ; then - VERSION=`git describe --tags` - VERSION_BUILD=`echo "$VERSION" | cut -d'-' -f2` - if [ "$SOURCE_DIR" = "." ] ; then - test -d build || mkdir -p build/include - BUILD_DIR="build" - else - BUILD_DIR="." - fi - VERSION_EXTRA=`echo "$VERSION" | cut -d'-' -f3` - # Only do this if we are not on a tag, src/version.sh will be all we need then. - if [ "$VERSION_BUILD" != "$VERSION_EXTRA" ] ; then - echo "#define VERSION_BUILD $VERSION_BUILD" > $BUILD_DIR/include/version.h - echo "#define VERSION_EXTRA \"-$VERSION_EXTRA\"" >> $BUILD_DIR/include/version.h - fi - fi - cat $SOURCE_DIR/.BANNER | sed "s/CURVER/$VERSION/" | sed "s@SOURCE_DIR@$SOURCE_DIR@" | $PAGER + cat $SOURCE_DIR/.BANNER | sed "s/CURVER/$VERSION_MAJOR.$VERSION_MINOR.$VERSION_PATCH$VERSION_EXTRA/" | sed "s@SOURCE_DIR@$SOURCE_DIR@" | $PAGER echo "" else echo "" |