diff options
Diffstat (limited to 'config_help.txt')
| -rw-r--r-- | config_help.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config_help.txt b/config_help.txt index 5c57e30d63..4be797cc6b 100644 --- a/config_help.txt +++ b/config_help.txt @@ -126,6 +126,9 @@ Build options: -sanitize {address|thread|memory|undefined} Instrument with the specified compiler sanitizer. + Note that some sanitizers cannot be combined; + for example, -sanitize address cannot be combined with + -sanitize thread. -c++std <edition> .... Select C++ standard <edition> [c++1z/c++14/c++11] (Not supported with MSVC) |