diff --git a/src/exec.c b/src/exec.c index 11b078df0..a000e5ac0 100644 --- a/src/exec.c +++ b/src/exec.c @@ -468,7 +468,8 @@ handler(int s) * The pipe is non-blocking, if we overflow the kernel's pipe * buffer we drop the signal. This is not a problem in practice. */ - (void)write(signal_pipe[1], &signo, sizeof(signo)); + if (write(signal_pipe[1], &signo, sizeof(signo)) == -1) + /* shut up glibc */; } /*