diff options
-rwxr-xr-x | config | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -584,7 +584,13 @@ EOF *86*-*-bsdi4) OUT="bsdi-elf-gcc" ;; *-*-osf) OUT="alphaold-cc" ;; *-*-tru64) OUT="alpha-cc" ;; - *-*-OpenUNIX8*) OUT="OpenUNIX-8" ;; + *-*-OpenUNIX*) + if [ "$CC" = "gcc" ]; then + OUT="OpenUNIX-8-gcc" + else + OUT="OpenUNIX-8" + fi + ;; *-*-unixware7) OUT="unixware-7" ;; *-*-UnixWare7) OUT="unixware-7" ;; *-*-Unixware7) OUT="unixware-7" ;; |