diff options
Diffstat (limited to '.circleci/test_spm.sh')
| -rwxr-xr-x | .circleci/test_spm.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.circleci/test_spm.sh b/.circleci/test_spm.sh index eb141e5..fc52e04 100755 --- a/.circleci/test_spm.sh +++ b/.circleci/test_spm.sh @@ -1,13 +1,16 @@ #!/bin/bash -e source $(dirname "${BASH_SOURCE[0]}")/runtime.sh +export TEST_RESULTS=${TEST_RESULTS:-/tmp/test-results} export PREFIX=/tmp/root export SHELL=/bin/bash +mkdir -p "${TEST_RESULTS}" cd build set -x -ctest -V +ctest -T test +rsync -av Testing/*/*.xml "${TEST_RESULTS}" spm --list |