# sourced by the various shell scripts

try()
{
    echo "    $*"
    $* || exit 1
}
