Sylvain Pion 289754c46c Remove pre-CMake scripts.		2009-05-09 16:35:14 +00:00
..
collect_cgal_testresults_from_cmake	…
makefile2	…
run_testsuite_with_cmake	Once the timeout is reach, kill -KILL the whole process group, instead of	2009-05-04 11:22:42 +00:00