From d796c73e8965abfe6c07f427c8e1fc998d4fe864 Mon Sep 17 00:00:00 2001
From: Giacomo Tesio <giacomo@tesio.it>
Date: Tue, 15 Aug 2017 00:53:04 +0200
Subject: [PATCH] qa: fix broken.runner

---
 qa/kern/broken.runner | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/qa/kern/broken.runner b/qa/kern/broken.runner
index 2031d8e..3d67026 100755
--- a/qa/kern/broken.runner
+++ b/qa/kern/broken.runner
@@ -9,10 +9,10 @@ if ( test -e $test_output) rm $test_output
 $test > $test_output >[2=1] &
 testpid=$apid
 
-sleep 3
-
 wait $testpid
 
+sleep 5
+
 if ( cat $test_output | grep suicide > /dev/null ) {
 	rm $test_output
 	echo PASS