diff options
Diffstat (limited to 'config/irix5.x')
| -rw-r--r-- | config/irix5.x | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/irix5.x b/config/irix5.x index 6809eca..bd757e1 100644 --- a/config/irix5.x +++ b/config/irix5.x @@ -40,7 +40,7 @@ case "X-$CC_BASENAME" in # Extra production flags # Note: higher optimizations relax alignment requirements needed. - PROD_CFLAGS=-O + PROD_CFLAGS="-O -s" PROD_CPPFLAGS= # Extra profiling flags |