diff options
Diffstat (limited to 'hints/dec_osf.sh')
| -rw-r--r-- | hints/dec_osf.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/hints/dec_osf.sh b/hints/dec_osf.sh index 38b48e53e3..85de7cb042 100644 --- a/hints/dec_osf.sh +++ b/hints/dec_osf.sh @@ -1,3 +1,11 @@ # hints/dec_osf.sh +case "$optimize" in +'') + case "$cc" in + *gcc*) ;; + *) optimize='-O2 -Olimit 2900' ;; + esac + ;; +esac ccflags="$ccflags -DSTANDARD_C" lddlflags='-shared -expect_unresolved "*" -s' |