diff options
author | Shraya Ramani <shraya.ramani@10gen.com> | 2015-09-17 14:16:57 -0400 |
---|---|---|
committer | Ramon Fernandez <ramon.fernandez@mongodb.com> | 2015-09-30 11:19:16 -0400 |
commit | 4b140c6955925d0339361bd30c007ad9abebaaf6 (patch) | |
tree | aca3511e14c4a8188980f293924dbe87f99db50e /etc | |
parent | 18f51746e48bba2080f2b09c0b49dce7a33bfb79 (diff) | |
download | mongo-4b140c6955925d0339361bd30c007ad9abebaaf6.tar.gz |
SERVER-20699 add manifest load to config file
Signed-off-by: Ramon Fernandez <ramon.fernandez@mongodb.com>
Closes #1024
Diffstat (limited to 'etc')
-rw-r--r-- | etc/evergreen.yml | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index 15f816df771..6ae13bae652 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -337,9 +337,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 @@ -443,9 +447,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 @@ -1777,7 +1785,8 @@ tasks: ####################################### # 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 |