diff options
| author | Scott Shawcroft <scott@tannewt.org> | 2018-08-16 14:37:06 -0700 |
|---|---|---|
| committer | Scott Shawcroft <scott@tannewt.org> | 2018-08-16 17:41:53 -0700 |
| commit | 96534e598ea6ca7f67b31c547b50c27331396158 (patch) | |
| tree | cc0e6f7e1e3670c242c2c6aaae0c467b78c63e1c /ports/unix | |
| parent | 76e0373576529aa41fc90e142f8b071b6c732c2f (diff) | |
Fix unix coverage and update translations.
Diffstat (limited to 'ports/unix')
| -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 1c112e0b2..1d36198ec 100644 --- a/ports/unix/Makefile +++ b/ports/unix/Makefile @@ -242,7 +242,7 @@ freedos: # build an interpreter for coverage testing and do the testing coverage: - $(MAKE) V=2 \ + $(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 \ |