diff options
Diffstat (limited to 'dejagnu/boards/rtems-arm-edb7312.exp')
-rwxr-xr-x | dejagnu/boards/rtems-arm-edb7312.exp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dejagnu/boards/rtems-arm-edb7312.exp b/dejagnu/boards/rtems-arm-edb7312.exp index af6b8d8..d12d45b 100755 --- a/dejagnu/boards/rtems-arm-edb7312.exp +++ b/dejagnu/boards/rtems-arm-edb7312.exp @@ -28,7 +28,7 @@ set_board_info gcc,stack_size 2048 # wrapper script which handles the device tree set_board_info sim "edb7312" -set_board_info sim,options "" +set_board_info sim,options "-i" # No support for signals on this target. set_board_info gdb,nosignals 1 |