summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript3
1 files changed, 0 insertions, 3 deletions
diff --git a/wscript b/wscript
index b0ab2d5f..d8fc3253 100644
--- a/wscript
+++ b/wscript
@@ -62,8 +62,6 @@ def configure(conf):
'-Wno-documentation-unknown-command',
'-Wno-double-promotion',
'-Wno-exit-time-destructors',
- '-Wno-extra-semi',
- '-Wno-extra-semi-stmt',
'-Wno-float-conversion',
'-Wno-float-equal',
'-Wno-format-nonliteral',
@@ -98,7 +96,6 @@ def configure(conf):
'-Wno-deprecated-copy-dtor',
'-Wno-double-promotion',
'-Wno-effc++',
- '-Wno-extra-semi',
'-Wno-float-conversion',
'-Wno-float-equal',
'-Wno-format',