summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--config/gnu-flags2
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