summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript2
1 files changed, 0 insertions, 2 deletions
diff --git a/wscript b/wscript
index 884bc7ec..026bebca 100644
--- a/wscript
+++ b/wscript
@@ -66,7 +66,6 @@ def configure(conf):
'-Wno-cast-qual',
'-Wno-deprecated-copy-dtor',
'-Wno-documentation-unknown-command',
- '-Wno-double-promotion',
'-Wno-exit-time-destructors',
'-Wno-float-conversion',
'-Wno-float-equal',
@@ -95,7 +94,6 @@ def configure(conf):
'-Wno-conditionally-supported',
'-Wno-conversion',
'-Wno-deprecated-copy-dtor',
- '-Wno-double-promotion',
'-Wno-effc++',
'-Wno-float-conversion',
'-Wno-float-equal',