From 03c0ce5e68037e02f286ab96326d0a92754c7d0c Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Mon, 4 May 2009 11:22:42 +0000
Subject: [PATCH] Once the timeout is reach, kill -KILL the whole process
 group, instead of just the group leader (in case a process catches SIGHUP).

---
 Testsuite/test/run_testsuite_with_cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Testsuite/test/run_testsuite_with_cmake b/Testsuite/test/run_testsuite_with_cmake
index f079a20f674..2b69d253119 100755
--- a/Testsuite/test/run_testsuite_with_cmake
+++ b/Testsuite/test/run_testsuite_with_cmake
@@ -71,7 +71,7 @@ wait_for_process()
 	    kill -HUP $pid
 	    sleep 10
 	    # If SIGHUP was not enough, SIGKILL will finish the job, 10s after.
-	    kill -KILL $pid
+	    kill -KILL -$pid
 	fi
         return 1  
     fi