diff options
author | Craig Tiller <ctiller@google.com> | 2016-03-18 08:37:52 -0700 |
---|---|---|
committer | Craig Tiller <ctiller@google.com> | 2016-03-18 08:37:52 -0700 |
commit | 0dca61fe2e249a7e6434391c84eb59541ab3b963 (patch) | |
tree | e8569b69665280a0ecd44787ec2708188ce2fcd7 /tools/fuzzer | |
parent | 3100eb8a28c0fdc8ee85345df6aa8a2506a8d5a2 (diff) |
Add timeout properly
Diffstat (limited to 'tools/fuzzer')
-rwxr-xr-x | tools/fuzzer/build_and_run_fuzzer.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/fuzzer/build_and_run_fuzzer.sh b/tools/fuzzer/build_and_run_fuzzer.sh index a57ef09cf7..48d09b4d9f 100755 --- a/tools/fuzzer/build_and_run_fuzzer.sh +++ b/tools/fuzzer/build_and_run_fuzzer.sh @@ -32,4 +32,4 @@ set -ex make CONFIG=$config $1 -j3 -bins/$config/$1 -timeout=60 +bins/$config/$1 -max_total_time=60 |