At Corinna Vinschen's request, change CygWin32 to Cygwin

1 files changed, 4 insertions, 4 deletions

diff --git a/config b/config
index 229c131b67..3c7c4adb2e 100755
--- a/config
+++ b/config
@@ -335,10 +335,10 @@ case "${SYSTEM}:${RELEASE}:${VERSION}:${MACHINE}" in
     CYGWIN*)
 	case "$RELEASE" in
 	    [bB]*|1.0|1.[12].*)
-		echo "${MACHINE}-whatever-cygwin32_pre1.3"
+		echo "${MACHINE}-whatever-cygwin_pre1.3"
 		;;
 	    *)
-		echo "${MACHINE}-whatever-cygwin32"
+		echo "${MACHINE}-whatever-cygwin"
 		;;
 	esac
 	exit 0
@@ -678,8 +678,8 @@ EOF
   # *-aix) OUT="aix-$CC" ;;
   # *-dgux) OUT="dgux" ;;
   mips-sony-newsos4) OUT="newsos4-gcc" ;;
-  *-*-cygwin32_pre1.3) OUT="CygWin32-pre1.3" ;;
-  *-*-cygwin32) OUT="CygWin32" ;;
+  *-*-cygwin_pre1.3) OUT="Cygwin-pre1.3" ;;
+  *-*-cygwin) OUT="Cygwin" ;;
   *) OUT=`echo $GUESSOS | awk -F- '{print $3}'`;;
 esac