diff --git a/infra/base-images/base-builder/Dockerfile b/infra/base-images/base-builder/Dockerfile index a99543d96..292507212 100644 --- a/infra/base-images/base-builder/Dockerfile +++ b/infra/base-images/base-builder/Dockerfile @@ -37,7 +37,7 @@ ENV COVERAGE_FLAGS="-fsanitize=fuzzer-no-link" # Use '-Wno-unused-command-line-argument' to suppress "warning: -ldl: 'linker' input unused" # messages which are treated as errors by some projects. -ENV COVERAGE_FLAGS_coverage "-fprofile-instr-generate -fcoverage-mapping -Wl,--no-as-needed -Wl,-lpthread -Wl,-ldl -Wl,-lm -Wno-unused-command-line-argument" +ENV COVERAGE_FLAGS_coverage "-fprofile-instr-generate -fcoverage-mapping -pthread -Wl,--no-as-needed -Wl,-ldl -Wl,-lm -Wno-unused-command-line-argument" # Default sanitizer and fuzzing engine to use. ENV SANITIZER="address"