diff options
| -rwxr-xr-x | ci/run-build-and-minimal-fuzzers.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/run-build-and-minimal-fuzzers.sh b/ci/run-build-and-minimal-fuzzers.sh index a51076d18d..bcf2ed54d2 100755 --- a/ci/run-build-and-minimal-fuzzers.sh +++ b/ci/run-build-and-minimal-fuzzers.sh @@ -6,6 +6,7 @@ . ${0%/*}/lib.sh group "Build fuzzers" make \ + NO_CURL=NoThanks \ CC=clang \ CXX=clang++ \ CFLAGS="-fsanitize=fuzzer-no-link,address" \ |