changeset 9198:af7bd3312376

(windowsnt): Alias for winnt. (winnt): New OS name.
author Richard Kenner <kenner@gnu.org>
date Fri, 30 Sep 1994 21:26:44 +0000
parents 3fe469325a8b
children 712e13833ad8
files config.sub
diffstat 1 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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|'`