output on failure

diff --git a/Jenkinsfile b/Jenkinsfile
index 5cc7876db1b516069bf4e5da9d93676551b99287..d7a9a314bfbf610c8bf58b713eac62e9f38dda19 100644 (file)
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -123,12 +123,10 @@ pipeline
        archiveArtifacts artifacts: 'detailed-osx.log', fingerprint: true
 
         sh '''#!/bin/bash
-        cd $WORKSPACE/tmp/build/deal.II-* && make test
+        cd $WORKSPACE/tmp/build/deal.II-* && ctest -j 4 --output-on-failure
         '''
       }
     }
 
   }
-
-
 }