diff options
author | Kim Tao <kim.tao@mongodb.com> | 2017-07-07 15:33:16 -0400 |
---|---|---|
committer | Kim Tao <kim.tao@mongodb.com> | 2017-07-12 14:17:49 -0400 |
commit | 3b9872cc7fd4966bfdd8b5b1ec487aa286491217 (patch) | |
tree | 56e21b21a80fe5b8d77b765c39c7eee3f005d6f6 | |
parent | 1550eb477fcf883e861f63ffc988a6060a2fbfb1 (diff) | |
download | mongo-3b9872cc7fd4966bfdd8b5b1ec487aa286491217.tar.gz |
SERVER-30055 Exclude sqlite third party from the linter
-rw-r--r-- | buildscripts/utils.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/buildscripts/utils.py b/buildscripts/utils.py index cecd479681b..69a78921ca9 100644 --- a/buildscripts/utils.py +++ b/buildscripts/utils.py @@ -28,6 +28,7 @@ def getAllSourceFiles( arr=None , prefix="." ): or x.startswith( "mongodb-" ) or x.startswith( "debian" ) or x.startswith( "mongo-cxx-driver" ) + or x.startswith( "sqlite" ) or 'gotools' in x ): continue |