From 467d2e1ecc443e4b287e3fb2e7fa359415dbd389 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= Date: Mon, 15 Mar 2021 12:28:54 +0100 Subject: lower the timeout --- src/tests/Make.tests | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/tests') diff --git a/src/tests/Make.tests b/src/tests/Make.tests index 76d63f6..60f2c2d 100644 --- a/src/tests/Make.tests +++ b/src/tests/Make.tests @@ -14,7 +14,7 @@ ifdef PROGS include ../../Makefile.userprog endif -TIMEOUT = 60 +TIMEOUT = 5 clean:: rm -f $(OUTPUTS) $(ERRORS) $(RESULTS) -- cgit v1.2.1