aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJack Lloyd <[email protected]>2016-01-29 17:20:20 -0500
committerJack Lloyd <[email protected]>2016-01-29 17:20:20 -0500
commit6526e3df0dfbe14faa8b0a12ffc890179ef77656 (patch)
tree5c6c622bde0cc6b5d1290e7bdef95d1c820e4bbd
parentd1e5ce62e68c787da0af62280a95e3b3f3205ea3 (diff)
Maintainer mode shouldn't always imply ASan since it interferes with
valgrind and throws off benchmarks.
-rwxr-xr-xconfigure.py3
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
"""