{
printf_verbose("thread_begin %s, tid %lu\n",
"counter", urcu_get_thread_id());
{
printf_verbose("thread_begin %s, tid %lu\n",
"counter", urcu_get_thread_id());
- ret = write(count_pipe[1], msg, 1); /* wakeup thread */
- } while (ret == -1L && errno == EINTR);
+ sret = write(count_pipe[1], msg, 1); /* wakeup thread */
+ } while (sret == -1L && errno == EINTR);