diff options
| author | Richard M. Stallman <[email protected]> | 1993-03-24 22:44:55 +0000 |
|---|---|---|
| committer | Richard M. Stallman <[email protected]> | 1993-03-24 22:44:55 +0000 |
| commit | de025efdf189b7d8277fee6bef59134545862781 (patch) | |
| tree | 9934b69ee6bbc6d7d4c69341bd2f2925efa7bae9 | |
| parent | 71ac885b6f75112439aa1ab680f80055ecfa76f7 (diff) | |
Default to clipper-intergraph if system is clix.
| -rwxr-xr-x | config.sub | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.sub b/config.sub index 8fe01d1eda..729c23d360 100755 --- a/config.sub +++ b/config.sub @@ -83,6 +83,9 @@ case $os in 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/'` ;; |