From: Justin Pettit Date: Sat, 20 Dec 2008 00:06:11 +0000 (-0800) Subject: Add #include to fix build problem with undefined "_POSIX_PIPE_BUF". X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=eee51b19b7ad3a9e06a054c93c8d74cdd082e0d2;p=openvswitch Add #include to fix build problem with undefined "_POSIX_PIPE_BUF". --- diff --git a/lib/signals.c b/lib/signals.c index c724aba6..93327b1f 100644 --- a/lib/signals.c +++ b/lib/signals.c @@ -35,6 +35,7 @@ #include "signals.h" #include #include +#include #include #include #include "poll-loop.h"