From b5a3664edef8c3ddd2117674c37edc8c179fcb2f Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Thu, 30 Jul 1992 14:53:31 +0000
Subject: [PATCH] Add SGI entry.

---
 v7/src/microcode/unxutl/config | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/v7/src/microcode/unxutl/config b/v7/src/microcode/unxutl/config
index de22d8c0c..ff7312d4d 100755
--- a/v7/src/microcode/unxutl/config
+++ b/v7/src/microcode/unxutl/config
@@ -1,6 +1,6 @@
 #!/bin/sh
 # Configuration script for MIT Scheme
-# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/config,v 1.16 1992/07/23 12:35:58 jinx Exp $
+# $Header: /Users/cph/tmp/foo/mit-scheme/mit-scheme/v7/src/microcode/unxutl/Attic/config,v 1.17 1992/07/30 14:53:31 jinx Exp $
 # Modelled on the configuration script for GNU CC
 #   Copyright (C) 1988 Free Software Foundation, Inc.
 
@@ -70,6 +70,11 @@ case $# in
 		machine_file=mips
 		cmpint_file=cmpint-mips.h
 		;;
+ 	sgi4d)
+ 		system_file=irix4
+ 		machine_file=mips
+ 		cmpint_file=cmpint-mips.h
+ 		;;
 	nws3250)			# sony news laptop
 		system_file=newsos5
 		machine_file=mips
@@ -138,7 +143,7 @@ case $# in
 	    	system_file=umax
 		machine_file=umax
 		;;
-	alpha-osf)			# DEC Alpha running OSF
+	alpha-osf | alpha)		# DEC Alpha running OSF
 		system_file=decosf
 		machine_file=alpha
 		cmpint_file=cmpint-alpha.h
@@ -216,6 +221,7 @@ case $# in
 	echo "vax-bsd42 vax-bsd43 vax-ultrix mips-ultrix"
 	echo "nws3250 hp9k300 hp9k400 hp9k700 hp9k800 i386-sysv"
 	echo "sun3 sun3-os3 sun3-nfp sun3-os3-nfp sun4 umax next"
+	echo "alpha-osf alpha sgi4d"
 	if [ -r config.status ]
 	then
 		cat config.status
-- 
2.25.1