diff options
| author | Jorge Aparicio <japaricious@gmail.com> | 2017-02-03 18:58:47 -0500 |
|---|---|---|
| committer | Jorge Aparicio <japaricious@gmail.com> | 2017-02-08 18:51:43 -0500 |
| commit | 775a93646cb6db5affff24f2260fb60a7723deba (patch) | |
| tree | 3ee34bbe42a432a44a0069c69b97d941ba83990a /src/bootstrap/config.toml.example | |
| parent | 9af6aa38895d3c1d263c52984666893b9ca22fe1 (diff) | |
build/test the sanitizers only when --enable-sanitizers is used
Diffstat (limited to 'src/bootstrap/config.toml.example')
| -rw-r--r-- | src/bootstrap/config.toml.example | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/bootstrap/config.toml.example b/src/bootstrap/config.toml.example index a53419ad7fd..025fe990f91 100644 --- a/src/bootstrap/config.toml.example +++ b/src/bootstrap/config.toml.example @@ -124,6 +124,9 @@ # disabled by default. #extended = false +# Build the sanitizer runtimes +#sanitizers = false + # ============================================================================= # General install configuration options # ============================================================================= |