From 0dca61fe2e249a7e6434391c84eb59541ab3b963 Mon Sep 17 00:00:00 2001 From: Craig Tiller Date: Fri, 18 Mar 2016 08:37:52 -0700 Subject: Add timeout properly --- tools/fuzzer/build_and_run_fuzzer.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/fuzzer') diff --git a/tools/fuzzer/build_and_run_fuzzer.sh b/tools/fuzzer/build_and_run_fuzzer.sh index a57ef09cf7..48d09b4d9f 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 -- cgit v1.2.3