diff --git a/.travis.yml b/.travis.yml index 119dec8df5b2cb3541c1665795231f94b7465790..6e72e0bb233fe3a1b13713cc77d261a2d6ea4d60 100644 --- a/.travis.yml +++ b/.travis.yml @@ -72,7 +72,7 @@ script: # Exit code 129 means warnings only. - if [[ "${BUILDMAN}" != "" ]]; then set +e; - tools/buildman/buildman ${BUILDMAN}; + tools/buildman/buildman -P ${BUILDMAN}; ret=$?; if [[ $ret -eq 0 || $ret -eq 129 ]]; then exit 0;