# HG changeset patch
# User YAMAMOTO Mitsuharu <mituharu@math.s.chiba-u.ac.jp>
# Date 1113293233 0
# Node ID b06b2e541697ce0fd597fb6cd9efd0ecb5c5b552
# Parent  bf16f5363740495694956afec7c1d991811df4a9
(poll_for_input) [SYNC_INPUT]: Don't call poll_for_input_1.  Set
interrupt_input_pending to 1 instead.

diff -r bf16f5363740 -r b06b2e541697 src/keyboard.c
--- a/src/keyboard.c	Tue Apr 12 03:11:23 2005 +0000
+++ b/src/keyboard.c	Tue Apr 12 08:07:13 2005 +0000
@@ -2115,7 +2115,11 @@
      struct atimer *timer;
 {
   if (poll_suppress_count == 0)
+#ifdef SYNC_INPUT
+    interrupt_input_pending = 1;
+#else
     poll_for_input_1 ();
+#endif
 }
 
 #endif /* POLL_FOR_INPUT */