next up previous contents index
Next: function_percent Up: Execution profile Previous: start_profile

stop_profile

   int stop_profile()

Stops profiling and returns the amount of time the timer has run.



Lionel Fournigault
Mon Dec 15 10:53:26 MET 1997