From 0873667174ca96d8c7e4fcef31720bfaca3aee0e Mon Sep 17 00:00:00 2001 From: Timo Heister Date: Thu, 27 Feb 2020 10:28:26 -0500 Subject: [PATCH] update --- Jenkinsfile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 ''' } } -- 2.39.5