Laurent Rineau 03c0ce5e68 Once the timeout is reach, kill -KILL the whole process group, instead of ... just the group leader (in case a process catches SIGHUP).		2009-05-04 11:22:42 +00:00
..
include/CGAL/Testsuite	Force platform features check to be re-tested when running test-suite	2008-06-12 22:02:13 +00:00
package_info/Testsuite	…
test	Once the timeout is reach, kill -KILL the whole process group, instead of	2009-05-04 11:22:42 +00:00