diff options
Diffstat (limited to 'executor/common_linux.h')
| -rw-r--r-- | executor/common_linux.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/common_linux.h b/executor/common_linux.h index c5fc7f6ab..621f0b2d8 100644 --- a/executor/common_linux.h +++ b/executor/common_linux.h @@ -35,7 +35,7 @@ static void event_reset(event_t* ev) static void event_set(event_t* ev) { if (ev->state) - fail("event already set"); + exitf("event already set"); __atomic_store_n(&ev->state, 1, __ATOMIC_RELEASE); syscall(SYS_futex, &ev->state, FUTEX_WAKE | FUTEX_PRIVATE_FLAG, 1000000); } |