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