From 1041ee7ab05ef05cd1d3b304baba4fe998a444af Mon Sep 17 00:00:00 2001
From: Stefan Lankes <slankes@eonerc.rwth-aachen.de>
Date: Sat, 18 Feb 2017 12:08:08 +0100
Subject: [PATCH] fix syntax error

---
 test.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test.sh b/test.sh
index 802cc4647..1d7b51138 100644
--- a/test.sh
+++ b/test.sh
@@ -6,7 +6,7 @@
 FILES="usr/tests/hello usr/tests/hellof usr/tests/hello++ usr/tests/thr_hello usr/tests/pi usr/benchmarks/stream usr/benchmarks/basic"
 PROXY=/opt/hermit/bin/proxy
 
-for f in $FILES; do echo "check $f..."; timeout -k 180s $PROXY $f || exit 1; done
+for f in $FILES; do echo "check $f..."; timeout --kill-after=3m 3m $PROXY $f || exit 1; done
 
 # test echo server at port 8000
 #HERMIT_APP_PORT=8000 $PROXY usr/tests/server &