diff options
author | Sadie Powell <sadie@witchery.services> | 2023-07-29 10:01:18 +0100 |
---|---|---|
committer | Sadie Powell <sadie@witchery.services> | 2023-07-29 10:01:18 +0100 |
commit | 377ba87d52ce131ffba3a78f877da7230c9a1330 (patch) | |
tree | f4eaaf4ffd50e503ca24caad2d705894b1d0caa6 /Config | |
parent | aa619f1eebf23cffefc1d7a1b713a4340508a2d3 (diff) |
Remove broken support for MinGW.
This apparently doesn't work and is pointless given we have native
Windows builds now anyway.
Diffstat (limited to 'Config')
-rwxr-xr-x | Config | 17 |
1 files changed, 1 insertions, 16 deletions
@@ -70,12 +70,6 @@ Run_Build_System () { EXTRA_LIBS="-DEXTRA_LIBS:STRING=$EXTRA_LIB_DIRS" fi - case `uname -s` in - MINGW*) - GEN_TYPE="-G\"MSYS Makefiles\"" - ;; - esac - if [ "$SOURCE_DIR" = "." ] ; then pwdsave=`pwd` test -d build || mkdir build @@ -177,17 +171,8 @@ fi ########################################################################### if [ ! "$NO_INTRO" ] ; then - case `uname -s` in - MINGW*) - PAGER=less - ;; - *) - PAGER=more - clear - ;; - esac . $SOURCE_DIR/src/version.sh - cat $SOURCE_DIR/.BANNER | sed "s/CURVER/$VERSION_MAJOR.$VERSION_MINOR.$VERSION_PATCH$VERSION_EXTRA/" | 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@" | more echo "" else echo "" |