From: Matthias Maier <tamiko@43-1.org>
Date: Sat, 16 Jun 2018 04:49:32 +0000 (-0500)
Subject: reword comment
X-Git-Tag: v9.1.0-rc1~1022^2~1
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=254dbb379e6afc0f81ef829332c4a25c417b50b5;p=dealii.git

reword comment
---

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 99a8fbbbed..0013523654 100644
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -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}"