From 30360abff1223f34c52334ab6ff22c2f0cd65a13 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Thu, 29 Jun 1995 23:19:49 +0000
Subject: [PATCH] Change definition for linux, now named "i386-linux".

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

diff --git a/v7/src/microcode/unxutl/config b/v7/src/microcode/unxutl/config
index 77486c307..e1c70c8fc 100755
--- a/v7/src/microcode/unxutl/config
+++ b/v7/src/microcode/unxutl/config
@@ -1,6 +1,6 @@
 #!/bin/sh
 # Configuration script for MIT Scheme
-# $Id: config,v 1.28 1993/11/09 16:11:39 gjr Exp $
+# $Id: config,v 1.29 1995/06/29 23:19:49 cph Exp $
 # Modelled on the configuration script for GNU CC
 # The section between lines is the copyright prefix from the GNU CC config.
 #----------------------------------------------------------------------
@@ -40,10 +40,10 @@ usage()
 	echo "Usage: $progname [-C-back-end | -native-back-end | -no-back-end] machine"
 	echo "Where \`machine' is one of:"
 	echo "alpha-osf alpha"
-	echo "mips-ultrix nws3250 sgi4d"
+	echo "mips-ultrix dec-3100 dec-5100 pmax nws3250 sgi4d"
 	echo "hp9k300 hp9k400 hp9k700 hp9k800 next"
 	echo "sun3 sun3-os3 sun3-nfp sun3-os3-nfp sun4 sparc"
-	echo "i386-sysv 386bsd umax"
+	echo "i386-sysv 386bsd umax i386-linux"
 	echo "vax-bsd42 vax-bsd43 vax-ultrix"
 	echo "rs6000"
 	if [ -r config.out ]
@@ -83,12 +83,18 @@ discriminate()
 		cmpint_file=mips.h
 		cmpaux_file=mips.m4
 		;;
- 	linux | 386bsd)
+ 	386bsd)
  		system_file=386bsd
  		machine_file=i386
  		cmpint_file=i386.h
 		cmpaux_file=i386.m4
  		;;
+ 	i386-linux)
+ 		system_file=linux
+ 		machine_file=i386
+ 		cmpint_file=i386.h
+		cmpaux_file=i386.m4
+ 		;;
 	i386-sysv)
 		system_file=sysv3
 		machine_file=i386
-- 
2.25.1