diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-11-30 10:58:27 -0800 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2018-11-30 10:58:27 -0800 |
| commit | 56345ff9970931e06a0e912aa006d6dae75bc2b4 (patch) | |
| tree | 8a3cf6b767f6dd3e1c9796c19d5b9593dce3ef66 /ports | |
| parent | 9d07e95351f692167a2e178b06311f17d0767df4 (diff) | |
A few tweaks based on review feedback
Diffstat (limited to 'ports')
| -rw-r--r-- | ports/unix/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/unix/Makefile b/ports/unix/Makefile index 3b52507c9..79b203b6b 100644 --- a/ports/unix/Makefile +++ b/ports/unix/Makefile @@ -245,7 +245,7 @@ coverage: $(MAKE) \ COPT="-O0" CFLAGS_EXTRA='$(CFLAGS_EXTRA) -DMP_CONFIGFILE="<mpconfigport_coverage.h>" \ -fprofile-arcs -ftest-coverage \ - -Wformat -Wmissing-declarations -Wmissing-prototypes -Wsign-compare \ + -Wdouble-promotion -Wformat -Wmissing-declarations -Wmissing-prototypes -Wsign-compare \ -Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \ -DMICROPY_UNIX_COVERAGE' \ LDFLAGS_EXTRA='-fprofile-arcs -ftest-coverage' \ |