diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-12-16 20:21:09 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-12-16 20:23:12 +0200 |
| commit | 7f9a62408de96f8d78926690968ac1f9ead19f3c (patch) | |
| tree | fbd44d732ba94d0baaf37c91b223839de26c45da | |
| parent | e37ccfe59b88cbc0c1617ee1d0ec418d52ba6f76 (diff) | |
unix/Makefile: coverage: Allow user to pass CFLAGS_EXTRA.
This build sets CFLAGS_EXTRA itself, but preserve user's value as passed
on make command line/etc.
| -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 b96391f69..b5f9f8e7d 100644 --- a/ports/unix/Makefile +++ b/ports/unix/Makefile @@ -243,7 +243,7 @@ freedos: # build an interpreter for coverage testing and do the testing coverage: $(MAKE) \ - COPT="-O0" CFLAGS_EXTRA='-DMP_CONFIGFILE="<mpconfigport_coverage.h>" \ + COPT="-O0" CFLAGS_EXTRA='$(CFLAGS_EXTRA) -DMP_CONFIGFILE="<mpconfigport_coverage.h>" \ -fprofile-arcs -ftest-coverage \ -Wdouble-promotion -Wformat -Wmissing-declarations -Wmissing-prototypes -Wsign-compare \ -Wold-style-definition -Wpointer-arith -Wshadow -Wuninitialized -Wunused-parameter \ |