]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Simplify indent_common.sh 13381/head
authorFabian Castelli <fabian.castelli@kit.edu>
Mon, 14 Feb 2022 18:42:22 +0000 (19:42 +0100)
committerFabian Castelli <fabian.castelli@kit.edu>
Mon, 14 Feb 2022 18:42:22 +0000 (19:42 +0100)
contrib/utilities/indent_common.sh

index 068c32e8bbd9682ef63d0c712025f66821f01283..540122d8e6d70e08bcaf6f00f14fb03e7a2b43e1 100644 (file)
@@ -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
 

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.