diff options
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" "$@" |
