X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=0a1337d4ea0f3f8448a3f44df1524c7604825af6;hb=8fa37ab22125896c4549d8681804aa65095d4c1c;hp=ad3ced4960a8903396c0127cfdf9a4af67462157;hpb=6e097c89af440da90b43ce90864394c4d0c843d5;p=pspp

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index ad3ced4960..0a1337d4ea 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -38,7 +38,6 @@ static const bool have_readline = true;
 
 #else
 static const bool have_readline = false;
-static int rl_end;
 #endif
 
 
@@ -251,11 +250,11 @@ readline_prompt (enum prompt_style style)
 }
 
 
+#if HAVE_READLINE
 
 static int pfd[2];
 static bool sigint_received ;
 
-
 /*
    A function similar to getc from stdio.
    However this one may be interrupted by SIGINT.
@@ -306,10 +305,6 @@ interruptible_getc (FILE *fp)
   return c;
 }
 
-
-
-#if HAVE_READLINE
-
 static void
 handler (int sig)
 {