diff options
| author |  Craig Tiller <ctiller@google.com> | 2016-03-18 08:29:12 -0700 |
|---|---|---|
| committer | Craig Tiller <ctiller@google.com> | 2016-03-18 08:29:12 -0700 |
| commit | d7b20b8ae17fb9c3d6ac71b70dc298b14de6853d (patch) | |
| tree | a6617c112a59a68451f3b958ff87f796af34337e /tools/fuzzer | |
| parent | c2c026e84376e8e65d7af84b9df33071c0511d1d (diff) | |
Add timeout
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 a2108988d8..21834a9741 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 -bins/$config/$1 +bins/$config/$1 -timeout 60 |