diff options
Diffstat (limited to 'tools/jenkins/run_fuzzer.sh')
-rwxr-xr-x | tools/jenkins/run_fuzzer.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/jenkins/run_fuzzer.sh b/tools/jenkins/run_fuzzer.sh index 346403548a..3f25a93319 100755 --- a/tools/jenkins/run_fuzzer.sh +++ b/tools/jenkins/run_fuzzer.sh @@ -38,9 +38,11 @@ export DOCKERFILE_DIR=tools/dockerfile/test/fuzzer export OUTPUT_DIR=fuzzer_output runtime=${runtime:-3600} +jobs=${jobs:-3} tools/jenkins/build_and_run_docker.sh \ -e RUN_COMMAND="$RUN_COMMAND" \ -e OUTPUT_DIR="$OUTPUT_DIR" \ -e config="$config" \ - -e runtime="$runtime" + -e runtime="$runtime" \ + -e jobs="$jobs" |