diff options
author | David Bradford <david.bradford@mongodb.com> | 2019-06-21 13:37:30 -0400 |
---|---|---|
committer | David Bradford <david.bradford@mongodb.com> | 2019-06-21 13:42:18 -0400 |
commit | e700053c3a43c8ef6eab3eb78a16d78d9f70f501 (patch) | |
tree | af1f1b9c40e6c2fbf38eb96449799e3a0f66a530 /etc | |
parent | e137f2ba789adc7afe9b8fa806c835022a5e1f76 (diff) | |
download | mongo-e700053c3a43c8ef6eab3eb78a16d78d9f70f501.tar.gz |
SERVER-41862: Make generate resmoke tasks file creation optional
(cherry picked from commit d4dd277c49a860b64700ea8a11a83ae5571f560c)
Diffstat (limited to 'etc')
-rw-r--r-- | etc/evergreen.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/etc/evergreen.yml b/etc/evergreen.yml index 8dac70e3170..1f6a2620626 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -1252,6 +1252,7 @@ functions: - command: generate.tasks params: + optional: true files: - src/generated_resmoke_config/${task}.json |