diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-12-21 15:27:05 -0500 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-12-21 15:27:05 -0500 |
| commit | 63e6d52f1e1ad9ba3e5dd453115abfc2f8418fc6 (patch) | |
| tree | c5ea296fbc76369984ce2e04323b350bbe68d492 /local-tomo | |
| parent | 9e8574f44c22615de09c133eeb9f60cccfc5aed3 (diff) | |
Rework makefile to simplify things
Diffstat (limited to 'local-tomo')
| -rwxr-xr-x | local-tomo | 6 |
1 files changed, 3 insertions, 3 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/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" "$@" |
