diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2019-03-12 11:56:35 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2019-03-12 11:56:35 -0700 |
| commit | 3f6713abc1d7de9ee4f0c255c986207e9efef914 (patch) | |
| tree | ffd840efa14df8ac746057943a7ea8f5bec18284 | |
| parent | d6b2199f3614a5fe2d4da4163ca901ac1e567f5f (diff) | |
Fix unix build by using safe mode stub
| -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' \ |