]> https://gitweb.dealii.org/ - dealii.git/commitdiff
update 9567/head
authorTimo Heister <timo.heister@gmail.com>
Thu, 27 Feb 2020 15:28:26 +0000 (10:28 -0500)
committerTimo Heister <timo.heister@gmail.com>
Thu, 27 Feb 2020 15:28:26 +0000 (10:28 -0500)
Jenkinsfile

index 9cd837290ca3f4eab322879eec760e2d4a18dd12..d74d75a8e144e261d497acdc0493d7ca81d032db 100644 (file)
@@ -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
             '''
           }
           }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.