X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=a3f33e725589a005f4b4d92a115d119e327614b4;hb=116530c35d056ef86c3913a514ba87e012a6aa42;hp=2dd932e5f64127359aca1f405d9b898589b89789;hpb=f4bfd0ac076dde988bf87fceba74826ce166beea;p=pspp

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index 2dd932e5f6..a3f33e7255 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -22,6 +22,7 @@
 #include <stdbool.h>
 #include <stdio.h>
 
+
 #if HAVE_READLINE
 #include <readline/readline.h>
 #include <readline/history.h>
@@ -41,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>