#!/bin/sh

case "$1"x in
    "toolchain_vm"x|"runtime_vm"x)
        ssh -F ssh_config $@
        ;;
    ""x)
        echo "$0: No host specified. Abort."
        exit 1
        ;;
    *)
        echo "$0: Unknown host/option \"$1\". Abort."
        exit 1
        ;;
esac