summaryrefslogtreecommitdiff
path: root/lib/pipe2.c
diff options
context:
space:
mode:
Diffstat (limited to 'lib/pipe2.c')
-rw-r--r--lib/pipe2.c3
1 files changed, 1 insertions, 2 deletions
diff --git a/lib/pipe2.c b/lib/pipe2.c
index 400aff001a..a3cbb7f261 100644
--- a/lib/pipe2.c
+++ b/lib/pipe2.c
@@ -23,7 +23,6 @@
#include <fcntl.h>
#include "binary-io.h"
-#include "verify.h"
#if GNULIB_defined_O_NONBLOCK
# include "nonblocking.h"
@@ -95,7 +94,7 @@ pipe2 (int fd[2], int flags)
}
# else
{
- verify (O_NONBLOCK == 0);
+ static_assert (O_NONBLOCK == 0);
}
# endif