diff options
| -rw-r--r-- | rts/posix/GetTime.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/rts/posix/GetTime.c b/rts/posix/GetTime.c index c31b319af4..16511ce2e2 100644 --- a/rts/posix/GetTime.c +++ b/rts/posix/GetTime.c @@ -60,6 +60,9 @@ Time getProcessCPUTime(void) res = clock_gettime(CLOCK_PROCESS_CPUTIME_ID, &ts); if (res == 0) { return SecondsToTime(ts.tv_sec) + NSToTime(ts.tv_nsec); + } else { + sysErrorBelch("clock_gettime"); + stg_exit(EXIT_FAILURE); } } #endif |