changeset 9832:f0c8517d9d8a

Accept `news' as a synonym for `newsos'.
author Karl Heuer <kwzh@gnu.org>
date Tue, 08 Nov 1994 02:51:32 +0000
parents b64a82db92a3
children 5215339470b8
files configure.in
diffstat 1 files changed, 3 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- 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
   ;;