diff options
author | Ernie Hershey <ernie.hershey@10gen.com> | 2016-01-29 12:37:52 -0500 |
---|---|---|
committer | Ramon Fernandez <ramon@mongodb.com> | 2016-01-29 15:42:59 -0500 |
commit | 499460c6e708add337b018e8b5faba277d1303cb (patch) | |
tree | 7dca72cf1b4b4325a57268792d177db217d99df4 | |
parent | 632bf23b969733e9481deba0eafdec9603415a8e (diff) | |
download | mongo-499460c6e708add337b018e8b5faba277d1303cb.tar.gz |
SERVER-22350 Fail Evergreen task on package generation failure
(cherry picked from commit 7a95cd41c36465513c71b787205a01eb355fc320)
-rw-r--r-- | etc/evergreen.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index df66ea79425..6edc68e6ddb 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -469,6 +469,9 @@ tasks: params: working_dir: src script: | + set -o errexit + set -o verbose + if [ "${has_packages|}" = "true" ] ; then cd buildscripts ${python|python} ${packager_script} --prefix `pwd`/.. --distros ${packager_distro} --tarball `pwd`/../mongodb-binaries.tgz -s ${version} -m HEAD |