aboutsummaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
Diffstat (limited to 'wscript')
-rw-r--r--wscript1
1 files changed, 0 insertions, 1 deletions
diff --git a/wscript b/wscript
index c77681d..2fc48de 100644
--- a/wscript
+++ b/wscript
@@ -71,7 +71,6 @@ def configure(conf):
conf.env.append_value(var, [
'-Weverything',
'-Wno-bad-function-cast',
- '-Wno-double-promotion',
'-Wno-float-equal',
'-Wno-format-nonliteral',
'-Wno-padded',