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