aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xConfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/Configure b/Configure
index 645548d798..7bbb5b7697 100755
--- a/Configure
+++ b/Configure
@@ -1071,7 +1071,8 @@ unless ($disabled{ubsan}) {
$config{cflags} .= "-fsanitize=undefined -fno-sanitize-recover=all ";
}
-unless ($disabled{fuzz} && $disabled{asan} && $disabled{ubsan}) {
+unless ($disabled{"fuzz-libfuzzer"} && $disabled{"fuzz-afl"}
+ && $disabled{asan} && $disabled{ubsan}) {
$config{cflags} .= "-fno-omit-frame-pointer -g ";
}
#