diff options
author | 2016-04-12 13:57:06 -0700 | |
---|---|---|
committer | 2016-04-12 13:57:06 -0700 | |
commit | ba926469e76c583a4f8b3eb22a342b69323fb921 (patch) | |
tree | 26c1848db4547156760538ebe61b21beba9ed9f2 /tools/jenkins/run_fuzzer.sh | |
parent | 666a362a669924cd081d3c3a63e0818535e5c91f (diff) | |
parent | bf359b75dbf00de25c2939583efcab8db7778bfa (diff) |
Merge github.com:grpc/grpc into strong-includes
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" |