# HG changeset patch
# User Karl Heuer <kwzh@gnu.org>
# Date 784263092 0
# Node ID f0c8517d9d8ab0ff47e6e4cc538ac8a53d4e7523
# Parent  b64a82db92a31e347874db76685cdd58347a3e3e
Accept `news' as a synonym for `newsos'.

diff -r b64a82db92a3 -r f0c8517d9d8a configure.in
--- a/configure.in	Tue Nov 08 02:43:25 1994 +0000
+++ b/configure.in	Tue Nov 08 02:51:32 1994 +0000
@@ -578,13 +578,13 @@
   m68*-sony-bsd4.3* )
     machine=news opsys=bsd4-3
   ;;
-  m68*-sony-newsos3*)
+  m68*-sony-newsos3* | m68*-sony-news3*)
     machine=news opsys=bsd4-3
   ;;
-  mips-sony-bsd* | mips-sony-newsos4* )
+  mips-sony-bsd* | mips-sony-newsos4* | mips-sony-news4*)
     machine=news-risc opsys=bsd4-3
   ;;
-  mips-sony-newsos* )
+  mips-sony-news* )
     machine=news-risc opsys=newsos5
   ;;