From 6033554150f6f6b8fdfc4c639eb4c78de0e5b03d Mon Sep 17 00:00:00 2001
From: "Guillermo J. Rozas" <edu/mit/csail/zurich/gjr>
Date: Thu, 23 Jul 1992 12:35:58 +0000
Subject: [PATCH] Add Alpha entries.

---
 v7/src/microcode/unxutl/config | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/v7/src/microcode/unxutl/config b/v7/src/microcode/unxutl/config
index e5c113eb8..de22d8c0c 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.15 1992/04/30 04:06:22 cph Exp $
+# $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 $
 # Modelled on the configuration script for GNU CC
 #   Copyright (C) 1988 Free Software Foundation, Inc.
 
@@ -93,6 +93,7 @@ case $# in
 	i386-sysv)
 		system_file=sysv3
 		machine_file=i386
+		cmpint_file=cmpint-i386.h
 		;;
 	sun3)
 		system_file=sunos4
@@ -137,6 +138,11 @@ case $# in
 	    	system_file=umax
 		machine_file=umax
 		;;
+	alpha-osf)			# DEC Alpha running OSF
+		system_file=decosf
+		machine_file=alpha
+		cmpint_file=cmpint-alpha.h
+		;;
 	*)
 		echo "$progname: unknown machine name: $machine"
 		exit 1
-- 
2.25.1