diff --git a/.azure-pipelines.yml b/.azure-pipelines.yml index 7a3eb78a5e..a6279427e1 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;