summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--wscript5
1 files changed, 1 insertions, 4 deletions
diff --git a/wscript b/wscript
index e916d54b47..b21406b360 100644
--- a/wscript
+++ b/wscript
@@ -36,9 +36,6 @@ children = [
'export',
]
-#if config[config_arch] != 'apple':
-# children += [ 'tools/sanity_check' ]
-
i18n_children = [
'gtk2_ardour',
'libs/ardour',
@@ -290,7 +287,7 @@ def set_compiler_flags (conf,opt):
#
optimization_flags[:0] = [
- "-g", "-O2",
+ "-O3",
"-fomit-frame-pointer",
"-ffast-math",
"-fstrength-reduce",