diff options
| author | Rob Savoye <rob@senecass.com> | 2020-07-06 13:56:29 -0600 |
|---|---|---|
| committer | Rob Savoye <rob@senecass.com> | 2020-07-06 13:56:29 -0600 |
| commit | ed6c94f54c4077628e9525a45129231dfaf99ff1 (patch) | |
| tree | ae25cfd5de51854ae367db1e08e1dcaef28c4c17 /baseboards | |
| parent | 0b1ad2be7d6df05e556bf0da485d35dad66fc7ae (diff) | |
| download | dejagnu-ed6c94f54c4077628e9525a45129231dfaf99ff1.zip dejagnu-ed6c94f54c4077628e9525a45129231dfaf99ff1.tar.gz dejagnu-ed6c94f54c4077628e9525a45129231dfaf99ff1.tar.bz2 | |
Work with cross GDB.
Diffstat (limited to 'baseboards')
| -rw-r--r-- | baseboards/pi.exp | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/baseboards/pi.exp b/baseboards/pi.exp index 82ba857..0dfe858 100644 --- a/baseboards/pi.exp +++ b/baseboards/pi.exp @@ -29,16 +29,15 @@ set_board_info rsh_prog /usr/bin/ssh set_board_info rcp_prog /usr/bin/scp set_board_info protocol standard set_board_info hostname pi -set_board_info username rob # We will be using the standard GDB remote protocol set_board_info gdb_protocol "remote" -# Path to the gdbserver executable, if required. -set_board_info gdb_server_prog builds/x86_64-unknown-linux-gnu/arm-linux-gnueabihf/binutils-gdb.git~gdb-9-branch-gdbserver/gdbserver +# Path to the gdbserver executable, use the one on the board +set_board_info gdb_server_prog "/usr/bin/gdbserver" # Name of the computer whose socket will be used, if required. -set_board_info sockethost "pi:" +set_board_info gdb,sockethost "pi:" # Port ID to use for socket connection # set_board_info gdb,socketport "4004" @@ -57,3 +56,6 @@ set_board_info gdb,noinferiorio 1 # Can't do hardware watchpoints, in general set_board_info gdb,no_hardware_watchpoints 1 + +# statically link the test case executables +set_board_info ldflags "-static" |