diff options
| author | Johnny Willemsen <jwillemsen@remedy.nl> | 2017-01-02 20:25:46 +0100 |
|---|---|---|
| committer | Johnny Willemsen <jwillemsen@remedy.nl> | 2017-01-02 20:25:46 +0100 |
| commit | 2076decb54fba8a77c46396d892cf927d2ad70ca (patch) | |
| tree | 161bcd0e7f07f4d5708f01b1c29edb58ebc6a44c | |
| parent | b5fa2c282010fb98602df72df1ba882cad539695 (diff) | |
| download | ATCD-2076decb54fba8a77c46396d892cf927d2ad70ca.tar.gz | |
Add support for thread-sanitizer=1
| -rw-r--r-- | ACE/include/makeinclude/platform_g++_common.GNU | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/ACE/include/makeinclude/platform_g++_common.GNU b/ACE/include/makeinclude/platform_g++_common.GNU index 430e8bebb58..a42e169a234 100644 --- a/ACE/include/makeinclude/platform_g++_common.GNU +++ b/ACE/include/makeinclude/platform_g++_common.GNU @@ -233,6 +233,12 @@ ifeq ($(address-sanitizer),1) LDFLAGS += -fsanitize=address endif +thread-sanitizer ?= 0 +ifeq ($(thread-sanitizer),1) + CPPFLAGS += -fsanitize=thread + LDFLAGS += -fsanitize=thread +endif + pipes ?= 1 FLAGS_C_CC += -Wall -W -Wpointer-arith |