Tweaks to support 32- and 64-bit VMs better
[training-lab.git] / vm_ssh
1 #!/bin/sh
2
3 case "$1"x in
4     "toolchain_vm"x|"runtime_vm"x)
5         ssh -F ssh_config $@
6         ;;
7     ""x)
8         echo "$0: No host specified. Abort."
9         exit 1
10         ;;
11     *)
12         echo "$0: Unknown host/option \"$1\". Abort."
13         exit 1
14         ;;
15 esac
16