diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-03-09 13:09:14 +0200 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2013-03-09 13:09:14 +0200 |
| commit | 60109c0be1c8b21b38f08b50db36577921eaca7f (patch) | |
| tree | fc842c2c853145be0013a79f722785e55ed4cb61 | |
| parent | 96d40168383519b6b82a7eb850a558aeb62917e9 (diff) | |
Add option to run the tests with mudflap to detect pointer errors.
| -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: |