Geert-Jan Giezeman a3b0999dc0 Added a maximum run time for cgal_test scripts. This should ... guarantee that the testsuite finishes.		2000-04-17 10:53:33 +00:00
..
collect_cgal_testresults	*** empty log message ***	1999-12-17 13:44:28 +00:00
run_testsuite	Added a maximum run time for cgal_test scripts. This should	2000-04-17 10:53:33 +00:00