diff options
| author | trahman1318 <tausif.rahman@mongodb.com> | 2022-03-31 17:12:23 +0000 |
|---|---|---|
| committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2022-03-31 19:32:55 +0000 |
| commit | 8711aedfc3e06626309eaed6a854c72a056ff2d8 (patch) | |
| tree | 6615f50e8484f20733ff80e6f986b1e09c9a2636 /evergreen | |
| parent | 75cbc1477e90fc4ac145a718a5b646724e483104 (diff) | |
| download | mongo-8711aedfc3e06626309eaed6a854c72a056ff2d8.tar.gz | |
SERVER-60831 Document configuration for Server linting tools
Diffstat (limited to 'evergreen')
| -rwxr-xr-x | evergreen/run_clang_tidy.sh | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/evergreen/run_clang_tidy.sh b/evergreen/run_clang_tidy.sh index 07f3ec4067c..03e312e12ae 100755 --- a/evergreen/run_clang_tidy.sh +++ b/evergreen/run_clang_tidy.sh @@ -12,7 +12,4 @@ jq -r '.[] | .file' compile_commands.json \ | grep -v $BISON_GENERATED_PATTERN \ | xargs -n 32 -P $(grep -c ^processor /proc/cpuinfo) -t \ /opt/mongodbtoolchain/v3/bin/clang-tidy \ - -p ./compile_commands.json \ - -header-filter='(mongo/.*|build/.*)' \ - --checks="-*,bugprone-unused-raii,bugprone-use-after-move,readability-const-return-type,readability-avoid-const-params-in-decls" \ - -warnings-as-errors="*" + -p ./compile_commands.json |