From 291c0321956c4751bc43b84644f0c5f44ef3ea74 Mon Sep 17 00:00:00 2001
From: Simon Michael <simon@joyful.com>
Date: Mon, 4 Jan 2021 15:28:35 -0800
Subject: [PATCH] ;make functest: add a 10s timeout to catch slow/hung tests

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 2dbee3cd7..1dc58f5cb 100644
--- a/Makefile
+++ b/Makefile
@@ -92,7 +92,8 @@ STACK ?= stack
 #STACK=stack --with-hpack=hpack-0.20
 
 # --threads=16 sometimes gives "commitAndReleaseBuffer: resource vanished (Broken pipe)" but seems harmless
-SHELLTESTOPTS=--execdir --threads=16 --exclude=/_  --hide-successes 
+# More threads and/or testing unoptimised builds requires a larger timeout.
+SHELLTESTOPTS=--execdir --threads=16 --timeout=10 --exclude=/_  --hide-successes 
 
 # make sure shelltest is a released version of shelltestrunner
 # run shell tests using the executable specified in tests