(poll_for_input) [SYNC_INPUT]: Don't call poll_for_input_1. Set

interrupt_input_pending to 1 instead.

diff --git a/src/keyboard.c b/src/keyboard.c
index 07b2f991c389bd5192bd9001077130d9f5e8d58c..0eb82533120cd172bf2d2a014eb041eb4998d3ef 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -2115,7 +2115,11 @@ poll_for_input (timer)
      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 */