# HG changeset patch # User Richard M. Stallman # Date 733013095 0 # Node ID d21c82eba8abc962e42710cf2f539113b78011c6 # Parent ddb30eaf2f56700e1ebfccb8e111a5f476495753 Default to clipper-intergraph if system is clix. diff -r ddb30eaf2f56 -r d21c82eba8ab config.sub --- a/config.sub Wed Mar 24 10:05:49 1993 +0000 +++ b/config.sub Wed Mar 24 22:44:55 1993 +0000 @@ -83,6 +83,9 @@ os=-isc2.2 basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` ;; + -clix*) + basic_machine=clipper-intergraph + ;; -isc*) basic_machine=`echo $1 | sed -e 's/86-.*/86-unknown/'` ;;