diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-21 15:54:55 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-21 15:54:55 -0500 |
| commit | 434ffd71c9a7eebd46ec0cba1d97b0827b874901 (patch) | |
| tree | eb5b02823b7cba714136a0c6b777aca36d147c3a /local-tomo | |
| parent | 63e6d52f1e1ad9ba3e5dd453115abfc2f8418fc6 (diff) | |
Don't embed tomo version/path information at compile time, instead infer
it at runtime
Diffstat (limited to 'local-tomo')
| -rwxr-xr-x | local-tomo | 11 |
1 files changed, 3 insertions, 8 deletions
@@ -1,11 +1,6 @@ #!/bin/sh version=$(awk '/^## / {print $2; exit}' CHANGES.md) -here="$(realpath "$(dirname "$0")")" -if [ ! -e "$here/dist/$version/bin/tomo@$version" ]; then - echo "Tomo hasn't been compiled yet! Run \`make\` to compile it!" - exit 1; +if ! [ -e ./build/$version/bin/tomo ]; then + make -j fi - -PATH="$here/dist/$version/bin${PATH:+:$PATH}" \ -TOMO_PATH="$here/dist/$version" \ -tomo@"$version" "$@" +exec ./build/$version/bin/tomo "$@" |
