diff options
| author |  Nick Fitzgerald <fitzgen@gmail.com> | 2020-07-06 10:46:47 -0700 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2020-07-06 10:46:47 -0700 |
| commit | 82252c22efbea9215137912c53e0c8c0b442273b (patch) | |
| tree | 34e9ba48d92ac9efc336d6d550a891852ac809bb /projects/wasmtime | |
| parent | ba72f0b7fcbbbeb21ae77de8b20db0c52e5bb015 (diff) | |
wasmtime: Only zip the seed corpus if it exists (#4065)
This will prevent build failures like
https://oss-fuzz-build-logs.storage.googleapis.com/log-5a0b58fe-4a35-46d5-b4d2-221905e7d208.txt
in the future.
Diffstat (limited to 'projects/wasmtime')
| -rwxr-xr-x | projects/wasmtime/build.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/projects/wasmtime/build.sh b/projects/wasmtime/build.sh index 5fbbdd53..c4f50459 100755 --- a/projects/wasmtime/build.sh +++ b/projects/wasmtime/build.sh @@ -27,6 +27,12 @@ for f in $SRC/wasmtime/fuzz/fuzz_targets/*.rs do FUZZ_TARGET_NAME=$(basename ${f%.*}) cp $FUZZ_TARGET_OUTPUT_DIR/$FUZZ_TARGET_NAME $OUT/ - zip -jr $OUT/${FUZZ_TARGET_NAME}_seed_corpus.zip $PROJECT_DIR/wasmtime-libfuzzer-corpus/$FUZZ_TARGET_NAME/ + + if [[ -d $PROJECT_DIR/wasmtime-libfuzzer-corpus/$FUZZ_TARGET_NAME/ ]]; then + zip -jr \ + $OUT/${FUZZ_TARGET_NAME}_seed_corpus.zip \ + $PROJECT_DIR/wasmtime-libfuzzer-corpus/$FUZZ_TARGET_NAME/ + fi + cp $SRC/default.options $OUT/$FUZZ_TARGET_NAME.options done |