Run cgal_test_with_cmake under "time", so that we can see the running time.

2008-12-01 11:22:29 +00:00 · 2008-12-01 11:22:29 +00:00 · 56c9ce1b67
parent e16cc406cc
commit 56c9ce1b67
1 changed files with 1 additions and 1 deletions
--- a/Testsuite/test/run_testsuite_with_cmake
+++ b/Testsuite/test/run_testsuite_with_cmake
@ -80,7 +80,7 @@ wait_for_process()

 run_local_cgal_test()
 {
-    eval ./cgal_test_with_cmake > current_compiler_output 2>&1
+    eval time ./cgal_test_with_cmake > current_compiler_output 2>&1
    exit_value=$?
    if [ $exit_value -ne 0 ]
    then