diff options
Diffstat (limited to 'gdb/remote-fileio.c')
| -rw-r--r-- | gdb/remote-fileio.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/remote-fileio.c b/gdb/remote-fileio.c index 44817df..29c5ca3 100644 --- a/gdb/remote-fileio.c +++ b/gdb/remote-fileio.c @@ -348,6 +348,8 @@ remote_fileio_ctrl_c_signal_handler (int signo) { remote_fileio_sig_set (remote_fileio_ctrl_c_signal_handler); remote_fio_ctrl_c_flag = 1; + /* Wake up interruptible_select. */ + quit_serial_event_set (); } static void |