Skip to content
This repository has been archived by the owner on Oct 15, 2024. It is now read-only.

Commit

Permalink
jenksinsfile: add missing docker image for doc building
Browse files Browse the repository at this point in the history
  • Loading branch information
robaerd committed Oct 28, 2020
1 parent 7dc2fcf commit 1667ca8
Showing 1 changed file with 10 additions and 1 deletion.
11 changes: 10 additions & 1 deletion scripts/jenkins/Jenkinsfile.release
Original file line number Diff line number Diff line change
Expand Up @@ -84,6 +84,15 @@ def dockerInit() {
"./scripts/docker/ubuntu/focal/Dockerfile"
)

/* Build Elektra's documentation with this image.
* Also contains latex for pdf creation.
*/
DOCKER_IMAGES.buster_doc = createDockerImageDesc(
"debian-buster-doc", this.&idTesting,
"./scripts/docker/debian/buster",
"./scripts/docker/debian/buster/doc.Dockerfile"
)

}
}

Expand Down Expand Up @@ -170,7 +179,7 @@ def buildDoc() {
]
return [(stageName): {
stage(stageName) {
withDockerEnv(DOCKER_IMAGES.stretch_doc) {
withDockerEnv(DOCKER_IMAGES.buster_doc) {
dir('build') {
deleteDir()
cmake(env.WORKSPACE, cmakeFlags)
Expand Down

0 comments on commit 1667ca8

Please sign in to comment.