diff options
| -rw-r--r-- | mips/run_embed.ml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/mips/run_embed.ml b/mips/run_embed.ml index d217aff7..7d83355e 100644 --- a/mips/run_embed.ml +++ b/mips/run_embed.ml @@ -125,8 +125,9 @@ let rec debug_print_caps capregs start stop = let handle_uart uart_written uart_wdata uart_rdata uart_rvalid = let (pending, _, _) = (Unix.select [Unix.stdin] [] [] 0.0) in if pending != [] then - input_buf := (!input_buf) @ [(input_byte stdin)]; - + try + input_buf := (!input_buf) @ [(input_byte stdin)] + with End_of_file -> (); if (read_bit_reg uart_written) then begin |