aboutsummaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2020-04-02 17:39:54 +0200
committerDavid Robillard <d@drobilla.net>2020-04-02 17:40:56 +0200
commitffa9c8240e4d904da2154466e811302ae313034d (patch)
tree4f4618b267e91b0c575512087fa264cd923e8e3f /wscript
parent6c870cb0d2cae098d7780d7aaaf1815887ef182e (diff)
Strengthen warnings
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',