aboutsummaryrefslogtreecommitdiff
path: root/local-tomo
diff options
context:
space:
mode:
Diffstat (limited to 'local-tomo')
-rwxr-xr-xlocal-tomo6
1 files changed, 3 insertions, 3 deletions
diff --git a/local-tomo b/local-tomo
index 76864837..74143604 100755
--- a/local-tomo
+++ b/local-tomo
@@ -1,11 +1,11 @@
#!/bin/sh
version=$(awk '/^## / {print $2; exit}' CHANGES.md)
here="$(realpath "$(dirname "$0")")"
-if [ ! -e "$here/build/bin/tomo@$version" ]; then
+if [ ! -e "$here/dist/$version/bin/tomo@$version" ]; then
echo "Tomo hasn't been compiled yet! Run \`make\` to compile it!"
exit 1;
fi
-PATH="$here/build/bin${PATH:+:$PATH}" \
-TOMO_PATH="$here/build" \
+PATH="$here/dist/$version/bin${PATH:+:$PATH}" \
+TOMO_PATH="$here/dist/$version" \
tomo@"$version" "$@"