diff options
Diffstat (limited to 'cppreopts/cppreopts.sh')
| -rw-r--r-- | cppreopts/cppreopts.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cppreopts/cppreopts.sh b/cppreopts/cppreopts.sh index 76f25d1b..a3545e17 100644 --- a/cppreopts/cppreopts.sh +++ b/cppreopts/cppreopts.sh @@ -31,6 +31,7 @@ function do_copy() { sync if ! mv ${temp_dest_name} ${dest_name} ; then log -p w -t cppreopts "Unable to rename temporary file from ${temp_dest_name} to ${dest_name}" + rm ${temp_dest_name} || log -p w -t cppreopts "Unable to remove temporary file ${temp_dest_name}" else log -p i -t cppreopts "Renamed temporary file from ${temp_dest_name} to ${dest_name}" fi |