diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-11-29 14:18:07 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-11-29 14:18:07 -0500 |
| commit | bb2f890fd470fff3e42698710b56c68164491d85 (patch) | |
| tree | 13de7c4402037f0b655ddc809fad6e23454501fe /local-tomo | |
| parent | 6db7b88c930657c38512709f808b422d39484a12 (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-x | local-tomo | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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" "$@" |
