# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 784583088 0
# Node ID cd6ad88c82fd34481bf9dd3c6a4b8abff4c7dd64
# Parent  74814eb19d6714338cd86da96a5e8c586a3c8dfb
(mips-sgi-irix5.[01]*): Distinguish from irix5*.
(mips-sgi-irix*): Now an alias for mips-sgi-irix5*.

diff -r 74814eb19d67 -r cd6ad88c82fd configure.in
--- 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