From 22087763d44b4f4b6250706ff3e2b3da67347b84 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Fri, 16 Sep 2016 15:19:21 +0100
Subject: When building KLEE with the sanitizers make sure the runtime is not
 built with them because KLEE can't handle this.

---
 Makefile.common | 5 +++++
 1 file changed, 5 insertions(+)

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
-- 
cgit 1.4.1