aboutsummaryrefslogtreecommitdiff
path: root/local-tomo
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-12-21 15:27:05 -0500
committerBruce Hill <bruce@bruce-hill.com>2025-12-21 15:27:05 -0500
commit63e6d52f1e1ad9ba3e5dd453115abfc2f8418fc6 (patch)
treec5ea296fbc76369984ce2e04323b350bbe68d492 /local-tomo
parent9e8574f44c22615de09c133eeb9f60cccfc5aed3 (diff)
Rework makefile to simplify things
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" "$@"