*** xdisp.c-dist	Wed Apr 26 20:13:59 1989
--- xdisp.c	Mon Oct  1 23:18:08 1990
***************
*** 416,423 ****
      }
  
  update: 
!   if (interrupt_input)
!     unrequest_sigio ();
  
    pause = update_screen (0, inhibit_hairy_id);
  
--- 416,425 ----
      }
  
  update: 
! #ifndef MINIX
!   if (interrupt_input)
!     unrequest_sigio ();
! #endif
  
    pause = update_screen (0, inhibit_hairy_id);
  
***************
*** 477,484 ****
       in the system buffer here.
       But it is much hairier to try to do anything about that.  */
  
!   if (interrupt_input)
!     request_sigio ();
  
    unhold_window_change ();
  
--- 479,488 ----
       in the system buffer here.
       But it is much hairier to try to do anything about that.  */
  
! #ifndef MINIX
!   if (interrupt_input)
!     request_sigio ();
! #endif
  
    unhold_window_change ();