summaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript4
1 files changed, 2 insertions, 2 deletions
diff --git a/wscript b/wscript
index 67fc799763..65ec4da5d5 100644
--- a/wscript
+++ b/wscript
@@ -470,10 +470,10 @@ int main() { return 0; }''',
break
if prepend_opt_flags:
- optimization_flags[:0] = [ flags_dict['full-optimization'] ]
+ optimization_flags[:0] = flags_dict['full-optimization']
if opt.debug_symbols:
- optimization_flags += [ flags_dict['debuggable'] ]
+ optimization_flags += flags_dict['debuggable']
if opt.stl_debug:
cxx_flags.append("-D_GLIBCXX_DEBUG")