(interrupt_input_blocked): Declare volatile.

diff --git a/src/blockinput.h b/src/blockinput.h
index fcaa64723bcf701fa8fbd6b7b940db2e251a017d..468f0e0c7623d57362c847aeb9d6fc37fd095d00 100644 (file)
--- a/src/blockinput.h
+++ b/src/blockinput.h
@@ -49,7 +49,7 @@ Boston, MA 02110-1301, USA.  */
    interrupt_input_pending to a non-zero value.  If that flag is set
    when input becomes unblocked, UNBLOCK_INPUT will send a new SIGIO.  */
 
-extern int interrupt_input_blocked;
+extern volatile int interrupt_input_blocked;
 
 /* Nonzero means an input interrupt has arrived
    during the current critical section.  */

diff --git a/src/keyboard.c b/src/keyboard.c
index ca1c1d5168f34c7c57c41857e5b71c9a999213c5..48cf2673a907a147bc69401455d6d0872dc67349 100644 (file)
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -90,7 +90,7 @@ extern int errno;
 /* Variables for blockinput.h: */
 
 /* Non-zero if interrupt input is blocked right now.  */
-int interrupt_input_blocked;
+volatile int interrupt_input_blocked;
 
 /* Nonzero means an input interrupt has arrived
    during the current critical section.  */