Lines Matching refs:board
16 # This file is a dejagnu "board file" and is used to run the testsuite
44 [board_info $board rsh_prog] \
45 -l [board_info $board username] \
46 [board_info $board hostname]]]
49 if { [board_info $board username] != $env(USER) } {
75 proc ${board}_file { dest op args } {
96 proc ${board}_spawn { board cmd } {
99 set remote [board_info $board hostname]
100 set username [board_info $board username]
101 set RSH [board_info $board rsh_prog]
104 set board_info($board,fileid) $spawn_id
Indexes created Tue Apr 21 00:23:25 UTC 2026