changeset 8030:d5d12df7b186

(*-convex-convexos*): Accept this as alias.
author Richard M. Stallman <rms@gnu.org>
date Thu, 23 Jun 1994 21:35:48 +0000
parents 4f81ed3b48ba
children 4b45aa6d5d76
files configure1.in
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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"