Re: isremote and unix board special handling question

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