diff options
| -rw-r--r-- | config/gnu-flags | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/gnu-flags b/config/gnu-flags index 4407865..c8fd724 100644 --- a/config/gnu-flags +++ b/config/gnu-flags @@ -139,7 +139,7 @@ if test "X-gcc" = "X-$cc_vendor"; then # Optimization # ################ - if test "$cc_vers_major" -le 4; then + if test $cc_vers_major -le 4; then HIGH_OPT_CFLAGS="-O3" DEBUG_OPT_CFLAGS= else |