diff options
Diffstat (limited to 'Makefile.common')
| -rw-r--r-- | Makefile.common | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index cf7bdcf7..a6ce34fb 100644 --- a/Makefile.common +++ b/Makefile.common @@ -80,3 +80,8 @@ endif # For metaSMT include $(PROJ_SRC_ROOT)/MetaSMT.mk +# If building KLEE with the Sanitizers don't build the runtime with it +# because KLEE doesn't know how to handle it. +ifneq ("X$(MODULE_NAME)$(BYTECODE_LIBRARY)X","XX") + CFLAGS := $(filter-out -fsanitize=%,$(CFLAGS)) +endif |