diff options
| -rw-r--r-- | rts/posix/Itimer.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/rts/posix/Itimer.c b/rts/posix/Itimer.c index f6c00a6007..b8332957af 100644 --- a/rts/posix/Itimer.c +++ b/rts/posix/Itimer.c @@ -202,7 +202,8 @@ static void *itimer_thread_func(void *_handle_tick) while (1) { if (USE_TIMERFD_FOR_ITIMER) { - read(timerfd, &nticks, sizeof(nticks)); + if (read(timerfd, &nticks, sizeof(nticks)) != sizeof(nticks)) + sysErrorBelch("Itimer: read(timer_fd) failed"); } else { usleep(TimeToUS(itimer_interval)); } |