diff options
author | Dan Albert <danalbert@google.com> | 2015-06-16 21:45:34 +0000 |
---|---|---|
committer | Android Git Automerger <android-git-automerger@android.com> | 2015-06-16 21:45:34 +0000 |
commit | 85558f701ee6f155f98c80b64fd46d9589db4c5f (patch) | |
tree | 811719b15500994b76fcd55d9b636960f6afe305 | |
parent | 660e058739196237c4f4b2680cb59d1bed52a061 (diff) | |
parent | 721e6a455f2100138009dee0d8592ecbc4bedbac (diff) | |
download | valgrind-85558f701ee6f155f98c80b64fd46d9589db4c5f.tar.gz |
am 721e6a45: Merge "Use new sanitizer option."
* commit '721e6a455f2100138009dee0d8592ecbc4bedbac':
Use new sanitizer option.
-rw-r--r-- | Android.build_host.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Android.build_host.mk b/Android.build_host.mk index dbf8d0d6b..77d11ba4d 100644 --- a/Android.build_host.mk +++ b/Android.build_host.mk @@ -67,7 +67,7 @@ ifeq ($(vg_local_no_crt),true) endif LOCAL_CXX_STL := none -LOCAL_ADDRESS_SANITIZER := false +LOCAL_SANITIZE := never include $(BUILD_HOST_$(vg_local_target)) |