changeset 8077:edcb7fcf3f28

(mips-sony-newsos4*): New alias.
author Richard M. Stallman <rms@gnu.org>
date Tue, 28 Jun 1994 17:04:58 +0000
parents 3a35434b19d2
children 1dd92ac02141
files configure1.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/configure1.in	Tue Jun 28 17:02:40 1994 +0000
+++ b/configure1.in	Tue Jun 28 17:04:58 1994 +0000
@@ -910,7 +910,7 @@
   m68*-sony-newsos3*)
     machine=news opsys=bsd4-3
   ;;
-  mips-sony-bsd* )
+  mips-sony-bsd* | mips-sony-newsos4* )
     machine=news-risc opsys=bsd4-3
   ;;
   mips-sony-newsos* )