diff options
Diffstat (limited to 'tools/fuzzer/runners/server_fuzzer.sh')
| -rw-r--r-- | tools/fuzzer/runners/server_fuzzer.sh | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/tools/fuzzer/runners/server_fuzzer.sh b/tools/fuzzer/runners/server_fuzzer.sh index 707b174878..28ca8b3271 100644 --- a/tools/fuzzer/runners/server_fuzzer.sh +++ b/tools/fuzzer/runners/server_fuzzer.sh @@ -29,7 +29,13 @@ # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. # -flags="-max_total_time=$runtime -jobs=$jobs -workers=$jobs -artifact_prefix=fuzzer_output/ -max_len=2048" +flags="-max_total_time=$runtime -artifact_prefix=fuzzer_output/ -max_len=2048" + +if [ "$jobs" != "1" ] +then + flags="-jobs=$jobs -workers=$jobs" +fi + if [ "$config" == "asan-trace-cmp" ] then flags="-use_traces=1 $flags" |