]> https://gitweb.dealii.org/ - dealii.git/commitdiff
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

index 5ba9af45ec27449feff512d05ea9ac17cfe5f987..c214ca0a8efabd29bbff63ca9e434239fd0475e4 100644 (file)
@@ -102,7 +102,7 @@ pipeline
           {
             always
            {
-              archiveArtifacts artifacts: '$WORKSPACE/build/detailed.log', fingerprint: true
+              archiveArtifacts artifacts: 'build/detailed.log', fingerprint: true
             }
             failure
             {

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.