diff options
-rwxr-xr-x | integration-tests/run-test.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/integration-tests/run-test.sh b/integration-tests/run-test.sh index c9556ebdd..17039bc99 100755 --- a/integration-tests/run-test.sh +++ b/integration-tests/run-test.sh @@ -56,10 +56,10 @@ main () { clean "$@" break ;; --sources) - export BST_SOURCE_CACHE=$(realpath "${2}") + export BST_SOURCE_CACHE=$(realpath -m "${2}") shift 2 ;; -c|--cov) - export BST_COVERAGE=$(realpath "${2}") + export BST_COVERAGE=$(realpath -m "${2}") shift 2 ;; -a|--arg) export BST_FLAGS="${BST_FLAGS:-} $2" |