Add timeout properly

9 years ago · 3100eb8a28
parent d7b20b8ae1
commit 3100eb8a28
1 changed files with 2 additions and 2 deletions
--- a/tools/fuzzer/build_and_run_fuzzer.sh
+++ b/tools/fuzzer/build_and_run_fuzzer.sh
@ -31,5 +31,5 @@

 set -ex

-make CONFIG=$config $1
-bins/$config/$1 -timeout 60
+make CONFIG=$config $1 -j3
+bins/$config/$1 -timeout=60