summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2012-01-30 14:58:00 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2012-01-30 14:58:00 +0200
commitacbb8d3c3f3611625eced9caecc190539306f3c0 (patch)
tree664a5a186df4c6f973754c0046d7bafd8656211e
parentaf99bee3599d7a0efdd5a12057ead973c02ee28b (diff)
Turn on optimization by default
This triggest additional warnings which we want to detect early.
-rwxr-xr-xdist.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/dist.sh b/dist.sh
index d999581..562c84e 100755
--- a/dist.sh
+++ b/dist.sh
@@ -48,7 +48,7 @@ odb=$src_root/odb/odb/odb
cxx=g++
cxxp=g++-4.5
-CXXFLAGS="-W -Wall -Wno-unknown-pragmas"
+CXXFLAGS="-W -Wall -Wno-unknown-pragmas -O3"
mysql_options=
mysql_test_options=