diff options
| author | Jack Lloyd <[email protected]> | 2015-07-05 22:16:29 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2015-07-05 22:16:29 -0400 |
| commit | 8db5746d4c83d9ef8e02aeee5092950ab9407604 (patch) | |
| tree | 533516b947288511d4a8bb1b47aa4e813022d8d7 /src/build-data/cc/gcc.txt | |
| parent | d84516a2b77c8754344d54fcd067e57c156eb4ac (diff) | |
Make sanitizer a build mode for easy use by developers.
Diffstat (limited to 'src/build-data/cc/gcc.txt')
| -rw-r--r-- | src/build-data/cc/gcc.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/build-data/cc/gcc.txt b/src/build-data/cc/gcc.txt index 1e1eb2fb9..ee9d35317 100644 --- a/src/build-data/cc/gcc.txt +++ b/src/build-data/cc/gcc.txt @@ -17,6 +17,7 @@ app_opt_flags "-O2" shared_flags "-fPIC" debug_flags "-g" coverage_flags "--coverage" +sanitizer_flags "-D_GLIBCXX_DEBUG -fsanitize=address -fsanitize=undefined" visibility_build_flags "-fvisibility=hidden" visibility_attribute '__attribute__((visibility("default")))' |