From: Timo Heister 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 ''' } }