From: Timo Heister <timo.heister@gmail.com>
Date: Sat, 30 Mar 2019 17:46:23 +0000 (-0600)
Subject: CI: archive detailed.log
X-Git-Tag: v9.1.0-rc1~228^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3ba06905454cc6ad892f3210a5f45d804bb13cbd;p=dealii.git

CI: archive detailed.log
---

diff --git a/Jenkinsfile b/Jenkinsfile
index 81ad227897..48064a8afb 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -101,6 +101,8 @@ pipeline
             always {
               sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/serial.xml || true"
               xunit tools: [CTest(pattern: '*.xml')]
+              sh "cp /home/dealii/build/detailed.log $WORKSPACE/detailed-serial.log || true"
+              archiveArtifacts artifacts: 'detailed-serial.log', fingerprint: true
             }
 
             cleanup {
@@ -120,7 +122,6 @@ pipeline
             sh '''#!/bin/bash
                export NP=`grep -c ^processor /proc/cpuinfo`
                export TEST_TIME_LIMIT=1200
-               echo $NP
                mkdir -p /home/dealii/build
                cd /home/dealii/build
                cmake -G "Ninja" \
@@ -152,6 +153,8 @@ pipeline
             always {
               sh "cp /home/dealii/build/Testing/*/*.xml $WORKSPACE/mpi.xml || true"
               xunit tools: [CTest(pattern: '*.xml')]
+              sh "cp /home/dealii/build/detailed.log $WORKSPACE/detailed-mpi.log || true"
+              archiveArtifacts artifacts: 'detailed-mpi.log', fingerprint: true
             }
 
             cleanup {
diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index b9c556d55d..5ba9af45ec 100644
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -100,6 +100,10 @@ pipeline
 
           post
           {
+            always
+	    {
+              archiveArtifacts artifacts: '$WORKSPACE/build/detailed.log', fingerprint: true
+            }
             failure
             {
               githubNotify context: 'OSX', description: 'build failed',  status: 'FAILURE'