diff options
author | Ernie Hershey <ernie.hershey@10gen.com> | 2015-05-18 11:19:25 -0400 |
---|---|---|
committer | Ernie Hershey <ernie.hershey@10gen.com> | 2015-05-18 11:19:25 -0400 |
commit | d43da2cd1f4fd0ddb2c9fcb853ac7aa381de6d30 (patch) | |
tree | 767f3e0a0fabfc78d16ed7cb3fa94e2d7a52785e | |
parent | b631186c3bde82f4894b31b58c769a9e83453601 (diff) | |
download | mongo-d43da2cd1f4fd0ddb2c9fcb853ac7aa381de6d30.tar.gz |
bump tools to r3.1.3
-rw-r--r-- | etc/evergreen.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index a0005be31d4..085d148f82f 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -179,7 +179,7 @@ functions: set -o igncr fi; - git checkout r3.1.2 + git checkout r3.1.3 . ./${set_tools_gopath|set_gopath.sh} # In RHEL 5.5, /usr/bin/ld can't handle --build-id parameters, so |