diff options
Diffstat (limited to 'rts/Stats.c')
| -rw-r--r-- | rts/Stats.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/rts/Stats.c b/rts/Stats.c index f0f61b25b4..ec8d5838fb 100644 --- a/rts/Stats.c +++ b/rts/Stats.c @@ -75,6 +75,11 @@ Ticks stat_getElapsedGCTime(void) return GCe_tot_time; } +Ticks stat_getElapsedTime(void) +{ + return getProcessElapsedTime() - ElapsedTimeStart; +} + /* mut_user_time_during_GC() and mut_user_time() * * The former function can be used to get the current mutator time |