# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 706306102 0
# Node ID 144027c7abb2c1bbac62296fdb66091235697944
# Parent  39f0e62a85116d4dc4b9bcda6f739ff47dcb74bb
*** empty log message ***

diff -r 39f0e62a8511 -r 144027c7abb2 config.sub
--- a/config.sub	Tue May 19 05:22:52 1992 +0000
+++ b/config.sub	Tue May 19 20:08:22 1992 +0000
@@ -170,7 +170,13 @@
 		;;
 	iris | iris4d)
 		basic_machine=mips-sgi
-		os=-irix
+		case $os in
+		    -irix*)
+			;;
+		    *)
+			os=-irix4
+			;;
+		esac
 		;;
 	news | news700 | news800 | news900)
 		basic_machine=m68k-sony