changeset 9898:cd6ad88c82fd

(mips-sgi-irix5.[01]*): Distinguish from irix5*. (mips-sgi-irix*): Now an alias for mips-sgi-irix5*.
author Richard M. Stallman <rms@gnu.org>
date Fri, 11 Nov 1994 19:44:48 +0000
parents 74814eb19d67
children 5db59a2f9370
files configure.in
diffstat 1 files changed, 6 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/configure.in	Fri Nov 11 14:54:29 1994 +0000
+++ b/configure.in	Fri Nov 11 19:44:48 1994 +0000
@@ -571,11 +571,14 @@
   mips-sgi-irix3* )
     machine=iris4d opsys=irix3-3
   ;;
-  mips-sgi-irix5* )
+  mips-sgi-irix4* )
+    machine=iris4d opsys=irix4-0
+  ;;
+  mips-sgi-irix5.[01]* )
     machine=iris4d opsys=irix5-0
   ;;
-  mips-sgi-irix4* | mips-sgi-irix* )
-    machine=iris4d opsys=irix4-0
+  mips-sgi-irix5* | mips-sgi-irix* )
+    machine=iris4d opsys=irix5-2
   ;;
 
   ## SONY machines