corrected dangling temp file in rev control

diff --git a/scripts/rev_control/version_control.sh b/scripts/rev_control/version_control.sh
index be77a2f6449ff5cfbc9b35bef2da0bc6cc4f071c..5c9bbe18c6dd0c34b1e092cda56514c0c6d3d868 100644 (file)
--- a/scripts/rev_control/version_control.sh
+++ b/scripts/rev_control/version_control.sh
@@ -524,7 +524,7 @@ function generate_rev_ctrl_filelist()
   local sortfile=$(mktemp /tmp/zz_checkin_sort.XXXXXX)
   sort <"$tempfile" >"$sortfile"
   echo "$sortfile"
-  \rm "$tempfile"
+  \rm "$tempfile" "$sortfile"
 }
 
 # iterates across a list of directories contained in a file (first parameter).