On Thu, 2018-11-29 at 22:59 +0000, Pedro Alves wrote:
>
> Yeah, GDB does in its internal board files. Non-remote boards source
> a file with this:
>
> ~~~~~
> 16 # By default, DejaGnu makes the board remote unless the board
> name
> 17 # matches localhost. Sourcing this script from a board file
> forces
> 18 # the board to be NOT remote.
> 19
> 20 global board
> 21 global board_info
> 22 # Remove any target variant specifications from the name.
> 23 set baseboard [lindex [split $board "/"] 0]
> 24 set board_info($baseboard,isremote) 0
> ~~~~~
Just to return to my original question, I added
unset_board_info isremote
in front of
set_board_info isremote 0
and I got the behaviour I expected/wanted. I am still
thinking about using a different target/site.exp file
instead of a new baseboard but I haven't actually tried
it yet.
Steve Ellcey
_______________________________________________
DejaGnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/dejagnu
