X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fterminal%2Fterminal-reader.c;h=2f11279bf428af8b24a63902ef71f1db8bf83328;hb=b9044cf717c4c214148597a3dd1afef16020c878;hp=b4eae73add6b59e375d4fce089be9cc5c16ce0c4;hpb=7870d7c1461cbbf1496913f999ed31c47c490512;p=pspp

diff --git a/src/ui/terminal/terminal-reader.c b/src/ui/terminal/terminal-reader.c
index b4eae73add..2f11279bf4 100644
--- a/src/ui/terminal/terminal-reader.c
+++ b/src/ui/terminal/terminal-reader.c
@@ -120,6 +120,7 @@ terminal_reader_cast (struct lex_reader *r)
 static void
 rl_echo_signal_char (int sig)
 {
+#if HAVE_TERMIOS_H
   struct termios t;
   if (0 == tcgetattr (0, &t))
     {
@@ -131,6 +132,7 @@ rl_echo_signal_char (int sig)
 	fprintf (rl_outstream, "%c", c);
     }
   else
+#endif
     fprintf (rl_outstream, "^C");
 
   fflush (rl_outstream);