X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=a3f33e725589a005f4b4d92a115d119e327614b4;hb=b2b2b0a29f80de89d96bcceea90f117930ab47b9;hp=f3ea80b808a4c66d29690a764b64360a2d58f9d0;hpb=efda60508bde511b99b1bc4a5fed3ea06e5956ff;p=pspp

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index f3ea80b808..a3f33e7255 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -20,6 +20,8 @@
 #include <unistd.h>
 #include <fcntl.h>
 #include <stdbool.h>
+#include <stdio.h>
+
 
 #if HAVE_READLINE
 #include <readline/readline.h>
@@ -40,6 +42,9 @@ static int rl_end;
 
 
 #include "ui/terminal/terminal-reader.h"
+#include <sys/select.h>
+#include <sys/time.h>
+#include <sys/types.h>
 
 #include <assert.h>
 #include <errno.h>