diff options
author | Oliver Chang <oliverchang@users.noreply.github.com> | 2017-07-24 17:56:52 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-07-24 17:56:52 -0700 |
commit | 621b2d41534bc69f21c88cb1f995c72ed43d380a (patch) | |
tree | b840fd58a792c0f5b6920edf974f323b36e5b502 /infra | |
parent | a9ee1f99eed2a479d0bc60ffe9b6de1cf0368726 (diff) |
Update Dockerfile
Diffstat (limited to 'infra')
-rw-r--r-- | infra/base-images/base-builder/Dockerfile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/infra/base-images/base-builder/Dockerfile b/infra/base-images/base-builder/Dockerfile index 919f9ae4..8ea3bd07 100644 --- a/infra/base-images/base-builder/Dockerfile +++ b/infra/base-images/base-builder/Dockerfile @@ -27,7 +27,7 @@ ENV SANITIZER_FLAGS_memory "-fsanitize=memory -fsanitize-memory-track-origins" ENV COVERAGE_FLAGS="-fsanitize-coverage=trace-pc-guard,trace-cmp" # Coverage flags for generating coverage reports. -ENV COVERAGE_FLAGS_coverage="-fsanitize-coverage=bb,no-prune,trace-pc-guard" +ENV COVERAGE_FLAGS_coverage="-fsanitize-coverage=bb,no-prune,trace-pc-guard -O0" # Default sanitizer and fuzzing engine to use. ENV SANITIZER="address" |