diff options
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/tests.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tests/tests.sh b/tests/tests.sh index 434e058..eaf5add 100755 --- a/tests/tests.sh +++ b/tests/tests.sh @@ -897,7 +897,12 @@ function _realpath() { } TESTS=$(_realpath "$(dirname -- "${BASH_SOURCE[0]}")") -BIN=$(_realpath "$TESTS/../bin") + +if [ "$BUILDDIR" ]; then + BIN=$(_realpath "$BUILDDIR/bin") +else + BIN=$(_realpath "$TESTS/../bin") +fi # Try to resolve the path to $BFS before we cd, while also supporting # --bfs="./bin/bfs -S ids" |