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/CPPLINT.cfg | |
parent | 7330f4ba24e7218bf2dcbbff450039c81c74077f (diff) | |
download | mongo-1e23641536f0b2e3632e11e40e35bf017b4f5e64.tar.gz |
SERVER-4393 Remove cpplint.py and lint.py
Diffstat (limited to 'src/mongo/base/CPPLINT.cfg')
-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 |