diff options
author | Shinichiro Hamaji <shinichiro.hamaji@gmail.com> | 2016-01-27 18:02:58 +0900 |
---|---|---|
committer | Shinichiro Hamaji <shinichiro.hamaji@gmail.com> | 2016-01-27 18:02:58 +0900 |
commit | 844ff756d704d7f13adb1b967069be7429806adb (patch) | |
tree | 325ce939d1664830ed6b0a4f074ac809c0d205da /Makefile.ckati | |
parent | 702befcaafe658291f1f6ca2ec6293dbcdac5bbb (diff) | |
download | kati-844ff756d704d7f13adb1b967069be7429806adb.tar.gz |
[C++] Add a target which builds tsan-enabled kati
Diffstat (limited to 'Makefile.ckati')
-rw-r--r-- | Makefile.ckati | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.ckati b/Makefile.ckati index 18ed906..e3361d8 100644 --- a/Makefile.ckati +++ b/Makefile.ckati @@ -114,6 +114,11 @@ $(KATI_INTERMEDIATES_PATH)/version.cc: $(KATI_VERSION_DEPS) echo >> $@ echo 'const char* kGitVersion = "$(KATI_VERSION)";' >> $@ +tsan_ckati: + $(MAKE) clean + $(MAKE) all CXX='clang++-3.6 -fsanitize=thread' + cp ckati $@ + ckati_clean: rm -rf $(KATI_INTERMEDIATES_PATH)/ckati rm -rf $(KATI_INTERMEDIATES_PATH)/*.o |