diff options
author | 2016-04-06 23:19:17 -0700 | |
---|---|---|
committer | 2016-04-06 23:19:17 -0700 | |
commit | 4b3fe15ef7782a79477ffc84e279d31ae3f84ba0 (patch) | |
tree | 9d9aca9ef2c3d8fda5dbb2ff71fb93decfe32947 /tools/jenkins | |
parent | 41d124fe66bd08c3e00a082f282b78ca16eb8903 (diff) |
Allow specifying fuzzer runtime
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" |