summaryrefslogtreecommitdiffstats
path: root/bin/launch
diff options
context:
space:
mode:
Diffstat (limited to 'bin/launch')
-rwxr-xr-xbin/launch4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/launch b/bin/launch
index 1bbd8dc..50c2b72 100755
--- a/bin/launch
+++ b/bin/launch
@@ -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