aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2024-07-02 09:59:01 -0700
committerJunio C Hamano <gitster@pobox.com>2024-07-02 09:59:01 -0700
commit24cbd291640b3c596ded00265a8f62aa55206163 (patch)
treefcb6e4d51e363397e1431482b5bd64bc8fb46bb6
parent43fab448cfed16605d21bd17d1ebd799bdbf5366 (diff)
parent4e66b5a990236120b2bb34356a09b59e4738018e (diff)
downloadgit-24cbd291640b3c596ded00265a8f62aa55206163.tar.gz
Merge branch 'jc/fuzz-sans-curl'
CI job to build minimum fuzzers learned to pass NO_CURL=NoThanks to the build procedure, as its build environment does not offer, or the rest of the build needs, anything cURL. * jc/fuzz-sans-curl: fuzz: minimum fuzzers environment lacks libcURL
-rwxr-xr-xci/run-build-and-minimal-fuzzers.sh1
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 797d65c661..af8065f349 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 \
FUZZ_CXX=clang++ \
CFLAGS="-fsanitize=fuzzer-no-link,address" \