# HG changeset patch
# User Richard Kenner <kenner@gnu.org>
# Date 780960404 0
# Node ID af7bd3312376ea80e5c45a0884d1883ff98256d2
# Parent  3fe469325a8b05a19cc5063a2c698d7cb603a48f
(windowsnt): Alias for winnt.
(winnt): New OS name.

diff -r 3fe469325a8b -r af7bd3312376 config.sub
--- a/config.sub	Fri Sep 30 21:01:13 1994 +0000
+++ b/config.sub	Fri Sep 30 21:26:44 1994 +0000
@@ -106,6 +106,9 @@
 	-ptx*)
 		basic_machine=`echo $1 | sed -e 's/86-.*/86-sequent/'`
 		;;
+	-windowsnt*)
+		os=`echo $os | sed -e 's/windowsnt/winnt/'`
+		;;
 esac
 
 # Decode aliases for certain CPU-COMPANY combinations.
@@ -566,7 +569,7 @@
 	      | -riscos* | -linux* | -uniplus* | -iris* | -rtu* | -xenix* \
 	      | -hiux* | -386bsd* | -netbsd* | -freebsd* | -riscix* \
 	      | -lynxos* | -bosx* | -nextstep* | -cxux* | -aout* | -elf* \
-	      | -ptx* | -coff*)
+	      | -ptx* | -coff* | -winnt*)
 		;;
 	-sunos5*)
 		os=`echo $os | sed -e 's|sunos5|solaris2|'`