# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 770813085 0
# Node ID 1f3e232733496cdd0b9559d05c6abe3adf1f14e9
# Parent  8a5a170b864676d004d7caf74b24c99280e90082
(mips-sony-newsos*): Use news-risc.h.

diff -r 8a5a170b8646 -r 1f3e23273349 configure1.in
--- a/configure1.in	Sat Jun 04 16:23:20 1994 +0000
+++ b/configure1.in	Sun Jun 05 10:44:45 1994 +0000
@@ -912,7 +912,7 @@
     machine=news-risc opsys=bsd4-3
   ;;
   mips-sony-newsos* )
-    machine=mips opsys=newsos5
+    machine=news-risc opsys=newsos5
   ;;
 
   ## Stride