From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Mon, 14 Feb 2022 18:42:22 +0000 (+0100)
Subject: Simplify indent_common.sh
X-Git-Tag: v9.4.0-rc1~498^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=73b9fd4d774b09823f16cb0849a0d0007ba5d31b;p=dealii.git

Simplify indent_common.sh
---

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 068c32e8bb..540122d8e6 100644
--- a/contrib/utilities/indent_common.sh
+++ b/contrib/utilities/indent_common.sh
@@ -227,7 +227,7 @@ dos_to_unix()
   tr -d '\015' <"${file}" >"${tmpfile}"
 
   fix_or_report "${file}" "${tmpfile}" "file has non-unix line-ending '\\r\\n'"
-  rm -f "${tmpfile}" "${tmpfile}"
+  rm -f "${tmpfile}"
 }
 export -f dos_to_unix