Default to clipper-intergraph if system is clix.
authorRichard Stallman <rms@gnu.org>
Wed, 24 Mar 1993 22:44:55 +0000 (22:44 +0000)
committerRichard Stallman <rms@gnu.org>
Wed, 24 Mar 1993 22:44:55 +0000 (22:44 +0000)
config.sub
lib/config.sub

index 8fe01d1..729c23d 100644 (file)
@@ -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/'`
                ;;
index 8fe01d1..729c23d 100644 (file)
@@ -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/'`
                ;;