Simplify indent_common.sh

diff --git a/contrib/utilities/indent_common.sh b/contrib/utilities/indent_common.sh
index 068c32e8bbd9682ef63d0c712025f66821f01283..540122d8e6d70e08bcaf6f00f14fb03e7a2b43e1 100644 (file)
--- 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