From 5179a173ad39b1a9fe201e240ad84b09115429e4 Mon Sep 17 00:00:00 2001
From: Thomas Fischer <thomas.fischer@ufz.de>
Date: Thu, 16 Apr 2020 11:56:47 +0200
Subject: [PATCH] [Jenkins] Raised doxygen error threshold.
This is necessary because of a doxygen bug in
documenting overloaded functions.
---
Jenkinsfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Jenkinsfile b/Jenkinsfile
index e05b7c26571..94f403ae77c 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -152,7 +152,7 @@ pipeline {
// Doxygen is handled by gcc4 parser as well
tools: [gcc4(name: 'Doxygen', id: 'doxygen',
pattern: 'build/DoxygenWarnings.log')],
- unstableTotalAll: 1
+ unstableTotalAll: 2
}
success {
publishHTML(target: [allowMissing: false, alwaysLinkToLastBuild: true,
--
GitLab