diff options
Diffstat (limited to 'gfsm')
| -rw-r--r-- | gfsm/configure.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gfsm/configure.in b/gfsm/configure.in index 0578203..c627732 100644 --- a/gfsm/configure.in +++ b/gfsm/configure.in @@ -188,7 +188,7 @@ then if test "$DEBUG" == "no"; then #OFLAGS="-O6 -funroll-loops -fomit-frame-pointer -finline-limit-10000000" #OFLAGS="-O6 -funroll-loops -fomit-frame-pointer" - OFLAGS="-O3" + OFLAGS="-O3 -pipe" else OFLAGS="-g" fi |