#!/bin/sh
version=$(awk '/^## / {print $2; exit}' CHANGES.md)
if ! [ -e ./build/tomo@$version/bin/tomo ]; then
    make -j
fi
exec ./build/tomo@$version/bin/tomo "$@"