From 377ba87d52ce131ffba3a78f877da7230c9a1330 Mon Sep 17 00:00:00 2001 From: Sadie Powell Date: Sat, 29 Jul 2023 10:01:18 +0100 Subject: Remove broken support for MinGW. This apparently doesn't work and is pointless given we have native Windows builds now anyway. --- Config | 17 +---------------- 1 file changed, 1 insertion(+), 16 deletions(-) (limited to 'Config') diff --git a/Config b/Config index f2fb05f16..90e00d663 100755 --- a/Config +++ b/Config @@ -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 "" -- cgit