From: Matthias Maier <tamiko@43-1.org>
Date: Thu, 24 Nov 2022 10:36:58 +0000 (-0600)
Subject: contrib/utilities: hook cmake_lowercase into check_indentation
X-Git-Tag: v9.5.0-rc1~816^2~2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=831a06d38bf8fd08e04570e0a8e0c3d810d053aa;p=dealii.git

contrib/utilities: hook cmake_lowercase into check_indentation
---

diff --git a/contrib/utilities/check_indentation.sh b/contrib/utilities/check_indentation.sh
index 5380cac5bf..0a9f574077 100755
--- a/contrib/utilities/check_indentation.sh
+++ b/contrib/utilities/check_indentation.sh
@@ -28,6 +28,9 @@
 # Run indent-all and fail if script fails:
 ./contrib/utilities/indent-all || exit $?
 
+# Run lowercase_cmake and fail if script fails:
+./contrib/utilities/lowercase_cmake || exit $?
+
 # Show the diff in the output:
 git diff