diff options
Diffstat (limited to 'rts/Stats.h')
| -rw-r--r-- | rts/Stats.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/Stats.h b/rts/Stats.h index fbcca110e9..ed2479863a 100644 --- a/rts/Stats.h +++ b/rts/Stats.h @@ -59,6 +59,7 @@ void stat_workerStop(void); void initStats0(void); void initStats1(void); +void resetChildProcessStats(void); double mut_user_time_until(Time t); double mut_user_time(void); |