diff options
| -rw-r--r-- | tests/Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/tests/Makefile b/tests/Makefile index 181628a2..40fcabe0 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -22,6 +22,14 @@ ifneq (,$(findstring clang,$(CC_VERSION))) CFLAGS_CORE=-pedantic -Wextra -Wcast-qual -Wconversion endif +# Also use mudflap if it is available +# To enable, run with make -B USE_MUDFLAP=y +USE_MUDFLAP ?= n +ifeq ($(USE_MUDFLAP),y) + CFLAGS += -fmudflap + LDFLAGS += -lmudflap -fmudflap +endif + all: breakpoints $(TESTS) run_unittests clean: |