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