diff options
| -rw-r--r-- | etc/evergreen.yml | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index 13c0bcaf7b3..24b8ed95679 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -213,9 +213,13 @@ tasks: - name: compile depends_on: [] commands: + - command: manifest.load - command: git.get_project params: directory: src + revisions: # for each module include revision as <module_name> : ${<module_name>_rev} + enterprise: ${enterprise_rev} + rocksdb: ${rocksdb_rev} - command: git.apply_patch params: directory: src @@ -311,9 +315,13 @@ tasks: - name: lint depends_on: [] commands: + - command: manifest.load - command: git.get_project params: directory: src + revisions: # for each module include revision as <module_name> : ${<module_name>_rev} + enterprise: ${enterprise_rev} + rocksdb: ${rocksdb_rev} - command: git.apply_patch params: directory: src @@ -2264,8 +2272,11 @@ tasks: script: | ssh distro-deb2.build.10gen.cc sudo -H -u ubuntu /home/ubuntu/git/kernel-tools/releases/publish_packages/publish_packages.sh v3.0 ${version} ${revision} || true -### modules ### - +####################################### +# Modules # +####################################### +# if a module is added and to be added to the manifest +# be sure to add the module to git.get_project revisions parameter modules: - name: enterprise repo: git@github.com:10gen/mongo-enterprise-modules.git |