diff options
| -rw-r--r-- | ports/unix/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ports/unix/Makefile b/ports/unix/Makefile index 05b1fcaf8..7ffa0fd08 100644 --- a/ports/unix/Makefile +++ b/ports/unix/Makefile @@ -150,6 +150,7 @@ SRC_C = \ coverage.c \ fatfs_port.c \ supervisor/stub/filesystem.c \ + supervisor/stub/safe_mode.c \ supervisor/stub/serial.c \ supervisor/stub/stack.c \ supervisor/shared/translate.c \ @@ -256,7 +257,7 @@ coverage: $(MAKE) \ COPT="-O0" CFLAGS_EXTRA='$(CFLAGS_EXTRA) -DMP_CONFIGFILE="<mpconfigport_coverage.h>" \ -fprofile-arcs -ftest-coverage \ - -Wdouble-promotion -Wformat -Wmissing-declarations -Wmissing-prototypes -Wsign-compare \ + -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' \ |