diff options
Diffstat (limited to 'hints/unicosmk.sh')
| -rw-r--r-- | hints/unicosmk.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/hints/unicosmk.sh b/hints/unicosmk.sh index f0b63cb0eb..6113cc300b 100644 --- a/hints/unicosmk.sh +++ b/hints/unicosmk.sh @@ -8,3 +8,11 @@ case "$usemymalloc" in ccflags="$ccflags -DNO_RCHECK" ;; esac +# If somebody ignores the Cray PATH. +case ":$PATH:" in +*:/opt/ctl/bin:*) ;; +'') case "$cc" in + '') test -x /opt/ctl/bin/cc && cc=/opt/ctl/bin/cc ;; + esac + ;; +esac |