diff options
author | yang-g <yangg@google.com> | 2016-11-07 10:11:34 -0800 |
---|---|---|
committer | yang-g <yangg@google.com> | 2016-11-07 10:11:34 -0800 |
commit | 6ab2ccd4372df54c2efb6741529b65c190ba0573 (patch) | |
tree | a4cdd1a15a96f5b857df3ce0180b5db3d479916b /tools/fuzzer | |
parent | 3a30541b39684b2384931ae50cb347ef2561e27d (diff) |
regenerate projects
Diffstat (limited to 'tools/fuzzer')
-rw-r--r-- | tools/fuzzer/runners/ssl_server_fuzzer.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/fuzzer/runners/ssl_server_fuzzer.sh b/tools/fuzzer/runners/ssl_server_fuzzer.sh index 23aef992e0..ce5396580e 100644 --- a/tools/fuzzer/runners/ssl_server_fuzzer.sh +++ b/tools/fuzzer/runners/ssl_server_fuzzer.sh @@ -31,6 +31,7 @@ flags="-max_total_time=$runtime -artifact_prefix=fuzzer_output/ -max_len=2048 -timeout=120" + if [ "$jobs" != "1" ] then flags="-jobs=$jobs -workers=$jobs $flags" |