diff options
| author | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2015-06-21 14:53:37 -0400 |
|---|---|---|
| committer | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2015-07-29 17:23:37 -0400 |
| commit | 3c09b108c8cbe21f904cf4c388fb9c9f19ed8dd5 (patch) | |
| tree | 438269d7ae15907b66a42bf5d0b553b51af34d0f /etc | |
| parent | 994555226640bd9059c70e87e6f9b7d4d2d5f099 (diff) | |
| download | mongo-3c09b108c8cbe21f904cf4c388fb9c9f19ed8dd5.tar.gz | |
SERVER-18579: Add lint to enterprise repo, and suppress warning
(cherry picked from commit da608f5500d66c4c509c3f3794662086393fe743)
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 12798e1403b..e920234de9c 100644 --- a/etc/evergreen.yml +++ b/etc/evergreen.yml @@ -3337,6 +3337,7 @@ buildvariants: - name: compile distros: - rhel55 + - name: lint - name: audit - name: audit_WT - name: jsCore_auth |