]> https://gitweb.dealii.org/ - dealii.git/commitdiff
reword comment
authorMatthias Maier <tamiko@43-1.org>
Sat, 16 Jun 2018 04:49:32 +0000 (23:49 -0500)
committerMatthias Maier <tamiko@43-1.org>
Sat, 16 Jun 2018 04:49:32 +0000 (23:49 -0500)
contrib/utilities/indent_common.sh

index 99a8fbbbed22739b40be9c5328989a5bbc0c3f74..00135236541a5752b31b58b1c8eee974add627e7 100644 (file)
@@ -67,13 +67,14 @@ checks() {
 #
 export TMPDIR="${TMPDIR:-/tmp}"
 
+export REPORT_ONLY="${REPORT_ONLY:-false}"
+
 #
-# Depending on whether REPORT_ONLY is set to true, or false, either report
-# an issue or print a status
+# If REPORT_ONLY is set to "true", this function reports a formatting issue
+# if file "${1}" and tmpfile "${2}" don't match (using the error message
+# "${3}"), or, if set to "false" silently replaces file "${1}" with "${2}".
 #
 
-export REPORT_ONLY="${REPORT_ONLY:-false}"
-
 fix_or_report()
 {
   file="${1}"

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.