diff --git a/Jenkinsfile2 b/Jenkinsfile2
index e25be162e8..9e89e5a2f8 100644
--- a/Jenkinsfile2
+++ b/Jenkinsfile2
@@ -175,6 +175,7 @@ def pre_test_build_mac() {
         cd ${WK}/debug
         cmake .. -DBUILD_TEST=true -DBUILD_HTTPS=false
         make -j10
+        ctest -j10 || exit 7
     '''
     sh '''
         date