diff options
Diffstat (limited to 'Config')
| -rwxr-xr-x | Config | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -178,11 +178,17 @@ if [ ! "$NO_INTRO" ] ; then 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" > include/version.h - echo "#define VERSION_EXTRA \"-$VERSION_EXTRA\"" >> include/version.h + 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 |