diff options
| author | DavidKorczynski <david@adalogics.com> | 2021-06-15 18:23:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-15 18:23:33 +0100 |
| commit | c843640e644ae250e1615cdea41dd7726772e6f0 (patch) | |
| tree | 7d8d5202d50a5e4a973ac3ae5c3e5d95845a87e5 /projects/rustls | |
| parent | a69e7d7bb7cd7de341e87a5ac3443cd140e4364b (diff) | |
| download | oss-fuzz-c843640e644ae250e1615cdea41dd7726772e6f0.tar.gz | |
disable fuzzers that wont work with coverage. (#5922)
Diffstat (limited to 'projects/rustls')
| -rwxr-xr-x | projects/rustls/build.sh | 7 |
1 files 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 |