diff options
Diffstat (limited to 'config')
-rwxr-xr-x | config | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -344,6 +344,13 @@ case "${SYSTEM}:${RELEASE}:${VERSION}:${MACHINE}" in exit 0 ;; + *"CRAY T3E") + echo "t3e-cray-unicosmk"; exit 0; + ;; + + *CRAY*) + echo "j90-cray-unicos"; exit 0; + ;; esac # @@ -688,6 +695,8 @@ EOF mips-sony-newsos4) OUT="newsos4-gcc" ;; *-*-cygwin_pre1.3) OUT="Cygwin-pre1.3" ;; *-*-cygwin) OUT="Cygwin" ;; + t3e-cray-unicosmk) OUT="cray-t3e" ;; + j90-cray-unicos) OUT="cray-j90" ;; *) OUT=`echo $GUESSOS | awk -F- '{print $3}'`;; esac |