From 56c9ce1b674d7802c2fd57ec9d18d0091f16655c Mon Sep 17 00:00:00 2001
From: Laurent Rineau <Laurent.Rineau__CGAL@normalesup.org>
Date: Mon, 1 Dec 2008 11:22:29 +0000
Subject: [PATCH] Run cgal_test_with_cmake under "time", so that we can see the
 running time.

---
 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..ac2ed2bfe96 100755
--- 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