waf: disable double-promotion warnings on ChibiOS

these are not useful
2018-01-18 17:13:04 +11:00 · 2018-01-18 17:13:04 +11:00 · 779de02acb
commit 779de02acb
parent f442b91ea5
1 changed files with 0 additions and 1 deletions
--- a/Tools/ardupilotwaf/boards.py
+++ b/Tools/ardupilotwaf/boards.py
@ -304,7 +304,6 @@ class chibios(Board):
            '-Werror=init-self',
            '-Wframe-larger-than=1024',
            '-Werror=unused-but-set-variable',
-            '-Wdouble-promotion',
            '-Wno-missing-field-initializers',
            '-Wno-trigraphs',
            '-Os',