diff options
Diffstat (limited to 'evergreen/run_clang_tidy_condensed.sh')
| -rwxr-xr-x | evergreen/run_clang_tidy_condensed.sh | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/evergreen/run_clang_tidy_condensed.sh b/evergreen/run_clang_tidy_condensed.sh deleted file mode 100755 index 477a4c66680..00000000000 --- a/evergreen/run_clang_tidy_condensed.sh +++ /dev/null @@ -1,10 +0,0 @@ -DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)" -. "$DIR/prelude.sh" - -set -o pipefail -set -o verbose - -cd src -activate_venv -$python buildscripts/clang_tidy_condensed.py --clang-tidy-cfg ${clang_tidy_file} --clang-tidy-toolchain ${clang_tidy_toolchain} -exit $? |