]> https://gitweb.dealii.org/ - dealii.git/commitdiff
contrib/utilities: hook cmake_lowercase into check_indentation
authorMatthias Maier <tamiko@43-1.org>
Thu, 24 Nov 2022 10:36:58 +0000 (04:36 -0600)
committerMatthias Maier <tamiko@43-1.org>
Thu, 24 Nov 2022 21:01:57 +0000 (15:01 -0600)
contrib/utilities/check_indentation.sh

index 5380cac5bf47869cbae00b15ed3f35d517ba6f2c..0a9f5740773722ed554a918846e389ee65859c8b 100755 (executable)
@@ -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
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.