diff options
| author | Toni Uhlig <matzeton@googlemail.com> | 2020-07-10 22:45:34 +0200 |
|---|---|---|
| committer | Toni Uhlig <matzeton@googlemail.com> | 2020-07-10 22:45:34 +0200 |
| commit | ea8cba7f586f0da270e29eb2cc10d32d406d0d88 (patch) | |
| tree | 021e0279199fc06918ecf2f9c51dfb1678051456 /Makefile | |
| parent | e1debd9198982e574240f3e84ff54ecadd186d86 (diff) | |
enable thread snitizer
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -26,6 +26,13 @@ else ENABLE_SANITIZER = no endif +ifeq ($(ENABLE_SANITIZER_THREAD),yes) +CFLAGS += -fsanitize=undefined -fsanitize=thread +LIBS += -lubsan +else +ENABLE_SANITIZER_THREAD = no +endif + ifeq ($(DISABLE_JSONIZER),yes) CFLAGS += -DDISABLE_JSONIZER else @@ -53,6 +60,7 @@ help: @echo 'CUSTOM_LIBNDPI = $(CUSTOM_LIBNDPI)' @echo 'ENABLE_DEBUG = $(ENABLE_DEBUG)' @echo 'ENABLE_SANITIZER = $(ENABLE_SANITIZER)' + @echo 'ENABLE_SANITIZER_THREAD = $(ENABLE_SANITIZER_THREAD)' @echo 'DISABLE_JSONIZER = $(DISABLE_JSONIZER)' @echo 'EXTRA_VERBOSE = $(EXTRA_VERBOSE)' |