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:43:18 -0500 |
commit | 0e2647c7ce1fde853575c912a6160770cdbb7b65 (patch) | |
tree | b8b02bec012f4fee2223705ed216377ace522af8 | |
parent | 23ae1ad441f5dd5bdb9967752ba8d7b7c057984d (diff) | |
download | mongo-0e2647c7ce1fde853575c912a6160770cdbb7b65.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 346cd6484c4..d9599428094 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -274,6 +274,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 |