From 73b9fd4d774b09823f16cb0849a0d0007ba5d31b Mon Sep 17 00:00:00 2001
From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Mon, 14 Feb 2022 19:42:22 +0100
Subject: [PATCH] Simplify indent_common.sh

---
 contrib/utilities/indent_common.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 
-- 
2.39.5