--- tests/test-verification_orig.sh 2025-10-19 21:17:09 +++ tests/test-verification.sh 2025-10-19 21:17:24 @@ -17,7 +17,7 @@ VERBOSE=0 fi -SPINEXE=${BUILD_ROOT}/extern/src/Spin-version-${SPINVER}/Src/spin +SPINEXE=$(which spin) if test $VERBOSE -eq 1; then ${SPINEXE} -V fi