From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 11 Apr 2019 22:47:35 +0000 (-0600)
Subject: clang-tidy: only debug mode
X-Git-Tag: v9.1.0-rc1~207^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=026b280c76c9136610d189fc918f69fb77ff3755;p=dealii.git

clang-tidy: only debug mode

I don't think it makes sense to also compile in release mode for the
tidy checks. This change should speed up the CI tester as well.
---

diff --git a/contrib/utilities/run_clang_tidy.sh b/contrib/utilities/run_clang_tidy.sh
index d013f56639..70dc612c66 100755
--- a/contrib/utilities/run_clang_tidy.sh
+++ b/contrib/utilities/run_clang_tidy.sh
@@ -43,7 +43,7 @@ echo "SRC-DIR=$SRC"
 
 # enable MPI (to get MPI warnings)
 # export compile commands (so that run-clang-tidy.py works)
-ARGS=("-D" "DEAL_II_WITH_MPI=ON" "-D" "CMAKE_EXPORT_COMPILE_COMMANDS=ON" "$@")
+ARGS=("-D" "DEAL_II_WITH_MPI=ON" "-D" "CMAKE_EXPORT_COMPILE_COMMANDS=ON" "-D" "CMAKE_BUILD_TYPE=Debug" "$@")
 
 # for a list of checks, see /.clang-tidy
 cat "$SRC/.clang-tidy"