diff --git a/Jenkinsfile b/Jenkinsfile
index e05b7c26571084dcc3e50d36551612697b6879f2..94f403ae77c101a6a8b15f90703e08e2de24c860 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,