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