diff options
| author | Mark Benvenuto <mark.benvenuto@mongodb.com> | 2019-10-28 23:45:53 +0000 |
|---|---|---|
| committer | evergreen <evergreen@mongodb.com> | 2019-10-28 23:45:53 +0000 |
| commit | 1e23641536f0b2e3632e11e40e35bf017b4f5e64 (patch) | |
| tree | 8c4947c98951676010ba13440c68905458221879 /src/mongo/base | |
| parent | 7330f4ba24e7218bf2dcbbff450039c81c74077f (diff) | |
| download | mongo-1e23641536f0b2e3632e11e40e35bf017b4f5e64.tar.gz | |
SERVER-4393 Remove cpplint.py and lint.py
Diffstat (limited to 'src/mongo/base')
| -rw-r--r-- | src/mongo/base/CPPLINT.cfg | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/mongo/base/CPPLINT.cfg b/src/mongo/base/CPPLINT.cfg deleted file mode 100644 index 600079e64a9..00000000000 --- a/src/mongo/base/CPPLINT.cfg +++ /dev/null @@ -1,6 +0,0 @@ -# Stop cpplint from looking for other config above this level -set noparent - -# `cpplint.py` has trouble with macros defining classes in complex ways. -# So we disable it entirely for the shim header -exclude_files=shim\.h |