diff options
author | 2016-12-28 09:33:59 -0500 | |
---|---|---|
committer | 2016-12-28 06:33:59 -0800 | |
commit | 57795ec50279be7b362d5507a6fe7616e109c26c (patch) | |
tree | c80c75dd8932f0d85212946e7666f7e2f8add2b4 /projects/gnutls/build.sh | |
parent | 0f558ce6e4bf7b8249a732e0726aef944c0cadef (diff) |
[gnutls] If the upstream repo has a corpus, include it (#222)
Diffstat (limited to 'projects/gnutls/build.sh')
-rwxr-xr-x | projects/gnutls/build.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/projects/gnutls/build.sh b/projects/gnutls/build.sh index 52c77de4..be59d3cb 100755 --- a/projects/gnutls/build.sh +++ b/projects/gnutls/build.sh @@ -31,4 +31,9 @@ for f in $fuzzers; do if [ -f "$SRC/${fuzzer}_seed_corpus.zip" ]; then cp "$SRC/${fuzzer}_seed_corpus.zip" "$OUT/" fi + + corpus_dir=$(basename "${fuzzer}" "_fuzzer") + if [ -d "devel/fuzz/${corpus_dir}.in/" ]; then + zip -r "$OUT/${fuzzer}_seed_corpus.zip" "devel/fuzz/${corpus_dir}.in/" + fi done |