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