diff options
| -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 """ |