Tweak build setup

1 files changed, 2 insertions, 2 deletions

diff --git a/local-tomo b/local-tomo
index d16e090e..2bab6e2b 100755
--- a/local-tomo
+++ b/local-tomo
@@ -1,6 +1,6 @@
 #!/bin/sh
 version=$(awk '/^## / {print $2; exit}' CHANGES.md)
-if ! [ -e ./build/$version/bin/tomo ]; then
+if ! [ -e ./build/tomo@$version/bin/tomo ]; then
     make -j
 fi
-exec ./build/$version/bin/tomo "$@"
+exec ./build/tomo@$version/bin/tomo "$@"