diff --git a/Jenkinsfile b/Jenkinsfile
index c8a523059d4a98254650d6b6b590374f83f0fa36..4ead58b2409998bd93758c6a5534863916a17a2b 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -148,7 +148,9 @@ pipeline {
                   excludeFile('-'), excludeFile('.*Functional\\.h'),
                   excludeFile('.*gmock-.*\\.h'), excludeFile('.*gtest-.*\\.h')
                 ],
-                tools: [doxygen(pattern: 'build/DoxygenWarnings.log')],
+                // Doxygen is handled by gcc4 parser as well
+                tools: [gcc4(name: 'Doxygen', id: 'doxygen',
+                             pattern: 'build/DoxygenWarnings.log')],
                 failedTotalAll: 1
             }
             success {