diff options
| -rw-r--r-- | .azure-pipelines.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index 7a3eb78..a627942 100644 --- a/.azure-pipelines.yml +++ b/.azure-pipelines.yml @@ -458,7 +458,7 @@ jobs: cat << "EOF" >> build.sh if [[ "${BUILDMAN}" != "" ]]; then ret=0; - tools/buildman/buildman -o /tmp -P -W ${BUILDMAN} ${OVERRIDE} || ret=$?; + tools/buildman/buildman -o /tmp -P -E -W ${BUILDMAN} ${OVERRIDE} || ret=$?; if [[ $ret -ne 0 ]]; then tools/buildman/buildman -o /tmp -seP ${BUILDMAN}; exit $ret; |