diff options
Diffstat (limited to 'deprecated/dejagnu/boards/chromeos-machine.exp')
| -rw-r--r-- | deprecated/dejagnu/boards/chromeos-machine.exp | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/deprecated/dejagnu/boards/chromeos-machine.exp b/deprecated/dejagnu/boards/chromeos-machine.exp deleted file mode 100644 index b168b677..00000000 --- a/deprecated/dejagnu/boards/chromeos-machine.exp +++ /dev/null @@ -1,13 +0,0 @@ -# Base description of a unix machine. This includes remote execution logic -# through SSH - -load_base_board_description "unix" - -# Set hostname and username. # Make sure SSH keys are set up prior to run. -set_board_info hostname $env(DEJAGNU_HOSTNAME) -set_board_info username root - -set_board_info shell_prompt "dejagnu>" -set chromeos_ssh_opts "-t -o StrictHostKeyChecking=no -o UserKnownHostsFile=/tmp/chromeos-toolchain/known_hosts -o ControlPath=/tmp/chromeos-toolchain/%r@%h:%p -i /tmp/chromeos-toolchain/private_key" -set_board_info rsh_prog "alarm 40 /usr/bin/ssh ${chromeos_ssh_opts}" -set_board_info rcp_prog "alarm 40 /usr/bin/scp ${chromeos_ssh_opts}" |