diff options
author | 2016-03-23 17:03:27 -0700 | |
---|---|---|
committer | 2016-03-23 17:03:27 -0700 | |
commit | 75e50e4fbf3b2050a44267d151d16150d6954090 (patch) | |
tree | e7de0c37ba0cddf98ccc00d0ba4589441d088a65 /tools/jenkins | |
parent | 0418d38803db4703b949de13bec393d456035fc4 (diff) |
Expand corpus
Diffstat (limited to 'tools/jenkins')
-rwxr-xr-x | tools/jenkins/run_fuzzer.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/jenkins/run_fuzzer.sh b/tools/jenkins/run_fuzzer.sh index 513a594ae0..3d6da99762 100755 --- a/tools/jenkins/run_fuzzer.sh +++ b/tools/jenkins/run_fuzzer.sh @@ -39,4 +39,5 @@ export OUTPUT_DIR=fuzzer_output tools/jenkins/build_and_run_docker.sh \ -e RUN_COMMAND="$RUN_COMMAND" \ + -e OUTPUT_DIR="$OUTPUT_DIR" \ -e config="$config" |