From b48a98f8865c9a33c76d12784a684376edca2d55 Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Wed, 29 Aug 2018 14:43:01 +0200
Subject: [PATCH] [Jenkins] Fixed doxygen creation order.
---
Jenkinsfile | 2 ++
1 file changed, 2 insertions(+)
diff --git a/Jenkinsfile b/Jenkinsfile
index 31fe4bc4db2..5f5adb03f01 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -108,6 +108,7 @@ pipeline {
'-DOGS_BUILD_TESTS=OFF '
}
build { }
+ build { target="doc" }
}
}
post {
@@ -115,6 +116,7 @@ pipeline {
publishReports { }
}
success {
+ dir('build/docs') { stash(name: 'doxygen') }
script {
step([$class: 'WarningsPublisher', canResolveRelativePaths: false,
messagesPattern: """
--
GitLab