]> https://gitweb.dealii.org/ - dealii.git/commitdiff
projects / dealii.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 3ba0690)
fix path 7875/head
authorTimo Heister <timo.heister@gmail.com>
Sun, 31 Mar 2019 03:26:21 +0000 (21:26 -0600)
committerTimo Heister <timo.heister@gmail.com>
Sun, 31 Mar 2019 03:26:21 +0000 (21:26 -0600)
contrib/ci/Jenkinsfile.osx patch | blob | history

diff --git a/contrib/ci/Jenkinsfile.osx b/contrib/ci/Jenkinsfile.osx
index 5ba9af45ec27449feff512d05ea9ac17cfe5f987..c214ca0a8efabd29bbff63ca9e434239fd0475e4 100644 (file)
--- 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
             {
Mirror of the development repository for deal.II

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.