From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 27 Feb 2020 15:28:26 +0000 (-0500)
Subject: update
X-Git-Tag: v9.2.0-rc1~494^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F9567%2Fhead;p=dealii.git

update
---

diff --git a/Jenkinsfile b/Jenkinsfile
index 9cd837290c..d74d75a8e1 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -180,6 +180,7 @@ pipeline
             sh "echo \"building on node ${env.NODE_NAME}\""
             sh '''#!/bin/bash
                 set -e
+                set -x
                 export NP=`grep -c ^processor /proc/cpuinfo`
                 mkdir -p /home/dealii/build
                 cd /home/dealii/build
@@ -192,7 +193,7 @@ pipeline
                 time ninja -j $NP
                 time ninja test # quicktests
                 time ninja setup_tests
-                time ctest -R "all-headers|multigrid/transfer|matrix_free" --output-on-failure -DDESCRIPTION="CI-$JOB_NAME" -j $NP --no-compress-output -T test
+                time ctest -R "all-headers|multigrid/transfer|matrix_free/matrix_" --output-on-failure -DDESCRIPTION="CI-$JOB_NAME" -j $NP --no-compress-output -T test
             '''
           }
           }