disable fuzzers that wont work with coverage. (#5922)

This commit is contained in:
DavidKorczynski 2021-06-15 18:23:33 +01:00 committed by GitHub
parent a69e7d7bb7
commit c843640e64
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 2 deletions

View File

@ -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