# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 772407348 0
# Node ID d5d12df7b186235713e5bd251241a90564f7c244
# Parent  4f81ed3b48ba64524a2597feccad53afaf1e46c1
(*-convex-convexos*): Accept this as alias.

diff -r 4f81ed3b48ba -r d5d12df7b186 configure1.in
--- a/configure1.in	Thu Jun 23 19:40:13 1994 +0000
+++ b/configure1.in	Thu Jun 23 21:35:48 1994 +0000
@@ -553,7 +553,7 @@
   ;;
 
   ## Convex
-  *-convex-bsd* )
+  *-convex-bsd* | *-convex-convexos* )
     machine=convex opsys=bsd4-3
     ## Prevents suprious white space in makefiles - d.m.cooke@larc.nasa.gov
     NON_GNU_CPP="cc -E -P"