diff --git a/ci/ctest.sh b/ci/ctest.sh index 755be0d02ca461518d8063bead3618401b3cb015..a56bad50f72b4e6b5a9d5d4835d42fc8f683ae44 100755 --- a/ci/ctest.sh +++ b/ci/ctest.sh @@ -45,7 +45,7 @@ then echo "SAMMY make-install step failed" exit 1 fi -ctest --timeout ${DART_TESTING_TIMEOUT} $VERBOSE_FLAG ${CTEST_BUILD_FLAGS} +ctest --test-timeout ${DART_TESTING_TIMEOUT} $VERBOSE_FLAG ${CTEST_BUILD_FLAGS} # If the log files exist, ctest completed but there were failed tests, # so we want to move the log files and exit in a failure state.