diff options
Diffstat (limited to 'bin/launch')
-rwxr-xr-x | bin/launch | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,8 +3,8 @@ set -eu set -o pipefail case "$1" in - tozt) - "$(dirname "$0")"/helpers/launch-tozt + tozt|algo) + "$(dirname "$0")/helpers/launch-$1" ;; *) echo "unknown host $1" >&2 |