diff --git a/tools/fuzzer/build_and_run_fuzzer.sh b/tools/fuzzer/build_and_run_fuzzer.sh index a57ef09cf7675d0b145048a637c28672275be01b..48d09b4d9fa801771cfb8f630b117db8611c76c3 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