songsenand
/
cgal
mirror of https://github.com/CGAL/cgal
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

In CGAL::Profile_timer, use CGAL::Timer instead of CGAL::Real_timer, so 

that the CPU time is computed instead of the sum CPU+system times.
This commit is contained in:
Laurent Rineau 2009-01-26 12:47:26 +00:00
parent a8e9a6954d
commit d6d4608ede
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
Profiling_tools/include/CGAL/Profile_timer.h
View File

@ -38,14 +38,14 @@
#include <iostream> #include <iostream>
#include <iomanip> #include <iomanip>
#include <string> #include <string>
#include <CGAL/Real_timer.h> #include <CGAL/Timer.h>
CGAL_BEGIN_NAMESPACE CGAL_BEGIN_NAMESPACE
struct Profile_timer struct Profile_timer
{ {
class Local { class Local {
Real_timer rt; Timer rt;
Profile_timer *p; Profile_timer *p;
public: public:
Local(Profile_timer* p_) : p(p_) { rt.start(); } Local(Profile_timer* p_) : p(p_) { rt.start(); }