diff options
author | Iaroslav Gridin <iaroslav.gridin@tuni.fi> | 2022-12-12 12:08:58 +0000 |
---|---|---|
committer | Iaroslav Gridin <iaroslav.gridin@tuni.fi> | 2022-12-12 12:08:58 +0000 |
commit | 14d306857d58e5c628b3797c02bad5911f7caabf (patch) | |
tree | ca682ec37f045853d91c5a7fc17d9f0b20d94cd9 /build.sh | |
parent | 82c3331a469e8b8fd69e799b2c28a79de0612a67 (diff) | |
download | nss-hg-14d306857d58e5c628b3797c02bad5911f7caabf.tar.gz |
Bug 1751707 - Add configuration option to enable source-based coverage sanitizer r=nss-reviewers,mt
Differential Revision: https://phabricator.services.mozilla.com/D135764
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -104,6 +104,7 @@ while [ $# -gt 0 ]; do --pprof) gyp_params+=(-Duse_pprof=1) ;; --asan) enable_sanitizer asan ;; --msan) enable_sanitizer msan ;; + --sourcecov) enable_sourcecov ;; --ubsan) enable_ubsan ;; --ubsan=?*) enable_ubsan "${1#*=}" ;; --fuzz) fuzz=1 ;; |