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