(mips-sgi-irix5.[01]*): Distinguish from irix5*.

(mips-sgi-irix*): Now an alias for mips-sgi-irix5*.

diff --git a/configure.in b/configure.in
index 8b34c3f7acad6135ab5d8d441fec1046dae7cf0b..6b75ffa32b916a9a7b69b22937a7dc6d70041ea7 100644 (file)
--- a/configure.in
+++ b/configure.in
@@ -571,11 +571,14 @@ case "${canonical}" in
   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