From a5cc47de37c3ae3465baa9a518af15d70c8cf19e Mon Sep 17 00:00:00 2001
From: Lars Bilke <lars.bilke@ufz.de>
Date: Thu, 6 Oct 2016 16:53:21 +0200
Subject: [PATCH] [Jenkins] Run doxygen job in Ubuntu 16.04 container.
16.04 has a more up-to-date doxygen package and so this
fixes some non-html-ized characters in the navigation.
---
scripts/jenkins/docs.groovy | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/jenkins/docs.groovy b/scripts/jenkins/docs.groovy
index 453e0a3f308..629d86a8e3f 100644
--- a/scripts/jenkins/docs.groovy
+++ b/scripts/jenkins/docs.groovy
@@ -6,7 +6,7 @@ node('docker') {
stage 'Checkout (Docs)'
dir('ogs') { checkout scm }
- docker.image('ogs6/gcc-gui:latest').inside() {
+ docker.image('ogs6/gcc-base:16.04').inside() {
stage 'Configure (Docs)'
configure.linux 'build', "${defaultCMakeOptions}"
--
GitLab