diff options
| -rw-r--r-- | hints/darwin.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/hints/darwin.sh b/hints/darwin.sh index ff4b4fbf4d..da34d65f96 100644 --- a/hints/darwin.sh +++ b/hints/darwin.sh @@ -41,7 +41,9 @@ usenm='true'; #libc='/usr/lib/libSystem.dylib'; # Optimize. -optimize='-O3'; +if [ "x$optimize" = 'x' ]; then + optimize='-O3' +fi # XXX Unclear why we require -pipe and -fno-common here. ccflags="${ccflags} -pipe -fno-common" |