diff options
| -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 9c424391a9..0bb440b556 100644 --- a/config_help.txt +++ b/config_help.txt @@ -121,6 +121,9 @@ Build options: -gcov ................ Instrument with the GCov code coverage tool [no] -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) |