diff options
Diffstat (limited to 'ports/unix/variants/coverage')
| -rw-r--r-- | ports/unix/variants/coverage/mpconfigvariant.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/variants/coverage/mpconfigvariant.mk b/ports/unix/variants/coverage/mpconfigvariant.mk index d5c41a157c..b56ffcbbc0 100644 --- a/ports/unix/variants/coverage/mpconfigvariant.mk +++ b/ports/unix/variants/coverage/mpconfigvariant.mk @@ -5,7 +5,7 @@ DEBUG ?= 1 CFLAGS += \ -fprofile-arcs -ftest-coverage \ - -Wdouble-promotion -Wformat -Wmissing-declarations -Wmissing-prototypes -Wsign-compare \ + -Wformat -Wmissing-declarations -Wmissing-prototypes \ -Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \ -DMICROPY_UNIX_COVERAGE |