diff options
Diffstat (limited to 'projects/rustls/build.sh')
| -rwxr-xr-x | projects/rustls/build.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/projects/rustls/build.sh b/projects/rustls/build.sh index d00359e98..1f16177d2 100755 --- a/projects/rustls/build.sh +++ b/projects/rustls/build.sh @@ -22,4 +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/ +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 |