diff --git a/modules/jenkins/files/slave_scripts/markdown-docbook.sh b/modules/jenkins/files/slave_scripts/markdown-docbook.sh index 4c20bd83e5..3607d5b496 100755 --- a/modules/jenkins/files/slave_scripts/markdown-docbook.sh +++ b/modules/jenkins/files/slave_scripts/markdown-docbook.sh @@ -1,4 +1,4 @@ -#!/bin/bash -e +#!/bin/bash -ex # Documentation can be submitted in markdown and then converted to docbook # so it can be built with the maven plugin. This is used by Jenkins when