diff options
Diffstat (limited to 'ace/Profile_Timer.cpp')
| -rw-r--r-- | ace/Profile_Timer.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ace/Profile_Timer.cpp b/ace/Profile_Timer.cpp index 5576894a9f3..9e41bcd0e0e 100644 --- a/ace/Profile_Timer.cpp +++ b/ace/Profile_Timer.cpp @@ -230,6 +230,13 @@ ACE_Profile_Timer::elapsed_time (ACE_Elapsed_Time &et) #else +void +ACE_Profile_Timer::dump (void) const +{ + ACE_TRACE ("ACE_Profile_Timer::dump"); + timer_.dump (); +} + ACE_Profile_Timer::ACE_Profile_Timer (void) : timer_ () { |