From 56345ff9970931e06a0e912aa006d6dae75bc2b4 Mon Sep 17 00:00:00 2001
From: Scott Shawcroft <scott@tannewt.org>
Date: Fri, 30 Nov 2018 10:58:27 -0800
Subject: A few tweaks based on review feedback

---
 ports/unix/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ports')

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' \
-- 
cgit v1.2.3