From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 31 Mar 2019 03:26:21 +0000 (-0600)
Subject: fix path
X-Git-Tag: v9.1.0-rc1~228^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F7875%2Fhead;p=dealii.git

fix path
---

diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index 5ba9af45ec..c214ca0a8e 100644
--- a/contrib/ci/Jenkinsfile.osx
+++ b/contrib/ci/Jenkinsfile.osx
@@ -102,7 +102,7 @@ pipeline
           {
             always
 	    {
-              archiveArtifacts artifacts: '$WORKSPACE/build/detailed.log', fingerprint: true
+              archiveArtifacts artifacts: 'build/detailed.log', fingerprint: true
             }
             failure
             {