aboutsummaryrefslogtreecommitdiff
path: root/local-tomo
diff options
context:
space:
mode:
authorBruce Hill <bruce@bruce-hill.com>2025-11-29 14:18:07 -0500
committerBruce Hill <bruce@bruce-hill.com>2025-11-29 14:18:07 -0500
commitbb2f890fd470fff3e42698710b56c68164491d85 (patch)
tree13de7c4402037f0b655ddc809fad6e23454501fe /local-tomo
parent6db7b88c930657c38512709f808b422d39484a12 (diff)
Overhaul to versioning system (paths go tov2025-11-29
`/tomo@TOMOVERSION/lib@LIBVERSION` instead of using underscores. Tomo versioning now uses date-based versions.
Diffstat (limited to 'local-tomo')
-rwxr-xr-xlocal-tomo4
1 files changed, 2 insertions, 2 deletions
diff --git a/local-tomo b/local-tomo
index bdf1e0da..76864837 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/build/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" \
-tomo_"$version" "$@"
+tomo@"$version" "$@"