diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/unicosmk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/unicosmk b/config/unicosmk index 221add8..91baf7a 100644 --- a/config/unicosmk +++ b/config/unicosmk @@ -100,9 +100,9 @@ case $CC_BASENAME in cc) CFLAGS="$CFLAGS" - DEBUG_CFLAGS="-g" + DEBUG_CFLAGS="-g -h zero" DEBUG_CPPFLAGS="-DH5F_OPT_SEEK=0 -DH5F_LOW_DFLT=H5F_LOW_SEC2" - PROD_CFLAGS="-O" + PROD_CFLAGS="-O2" PROD_CPPFLAGS= PROFILE_CFLAGS="-pg" PROFILE_CPPFLAGS= |