From c843640e644ae250e1615cdea41dd7726772e6f0 Mon Sep 17 00:00:00 2001 From: DavidKorczynski Date: Tue, 15 Jun 2021 18:23:33 +0100 Subject: [PATCH] disable fuzzers that wont work with coverage. (#5922) --- projects/rustls/build.sh | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/projects/rustls/build.sh b/projects/rustls/build.sh index bfbd9bcda..1f16177d2 100755 --- a/projects/rustls/build.sh +++ b/projects/rustls/build.sh @@ -22,5 +22,8 @@ cp fuzz/target/x86_64-unknown-linux-gnu/release/deframer $OUT/ cp fuzz/target/x86_64-unknown-linux-gnu/release/fragment $OUT/ cp fuzz/target/x86_64-unknown-linux-gnu/release/hsjoiner $OUT/ cp fuzz/target/x86_64-unknown-linux-gnu/release/message $OUT/ -cp fuzz/target/x86_64-unknown-linux-gnu/release/server $OUT/ -cp fuzz/target/x86_64-unknown-linux-gnu/release/persist $OUT/ +if [ "$SANITIZER" != "coverage" ] +then + cp fuzz/target/x86_64-unknown-linux-gnu/release/server $OUT/ + cp fuzz/target/x86_64-unknown-linux-gnu/release/persist $OUT/ +fi