X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=96a69d7bc452ab6e934270d850168b264924907f;hb=d2b769f76cbbadede9bd68da7caecabd69235bfa;hp=c80a6131dea915afc84b2fc1b2943b55cef0440b;hpb=876da2249715aa8495343d8a9b1dd9b4a08fc91d;p=pspp

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index c80a6131de..96a69d7bc4 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -108,12 +108,15 @@ terminal_reader_cast (struct lex_reader *r)
   return UP_CAST (r, struct terminal_reader, reader);
 }
 
+
 /* Older libreadline versions do not provide rl_outstream.
    However, it is almost always going to be the same as stdout. */
 #if ! HAVE_RL_OUTSTREAM
 # define rl_outstream stdout
 #endif
 
+
+#if HAVE_READLINE
 /* Similarly, rl_echo_signal_char is fairly recent.
    We provide our own crude version if it is not present. */
 #if ! HAVE_RL_ECHO_SIGNAL_CHAR
@@ -138,6 +141,7 @@ rl_echo_signal_char (int sig)
   fflush (rl_outstream);
 }  
 #endif
+#endif
 
 
 static size_t