diff options
author | Jack Lloyd <[email protected]> | 2016-01-29 17:20:20 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2016-01-29 17:20:20 -0500 |
commit | 6526e3df0dfbe14faa8b0a12ffc890179ef77656 (patch) | |
tree | 5c6c622bde0cc6b5d1290e7bdef95d1c820e4bbd | |
parent | d1e5ce62e68c787da0af62280a95e3b3f3205ea3 (diff) |
Maintainer mode shouldn't always imply ASan since it interferes with
valgrind and throws off benchmarks.
-rwxr-xr-x | configure.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 28fe28b17..d5d4feedc 100755 --- a/configure.py +++ b/configure.py @@ -457,9 +457,6 @@ def process_command_line(args): options.disable_intrinsics = parse_multiple_enable(options.disable_intrinsics) - if options.maintainer_mode: - options.with_sanitizers = True - return options """ |