diff options
Diffstat (limited to 'ci/run-test-slice.sh')
-rwxr-xr-x | ci/run-test-slice.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/run-test-slice.sh b/ci/run-test-slice.sh index ae80943..e167e64 100755 --- a/ci/run-test-slice.sh +++ b/ci/run-test-slice.sh @@ -17,7 +17,7 @@ handle_failed_tests # We only have one unit test at the moment, so run it in the first slice if [ "$1" == "0" ] ; then - group "Run unit tests" make --quiet -C t unit-tests-prove + group "Run unit tests" make --quiet -C t unit-tests-test-tool fi check_unignored_build_artifacts |