Delete the broken file list when it's no longer needed

This commit is contained in:
Alexander van Gessel 2013-08-23 20:36:29 +02:00
parent a3b14e7670
commit cdd37fc14e

View file

@ -256,6 +256,7 @@ done
rm -f ${old_file_list}
rm -f ${new_file_list}
rm -f ${broken_file_list}
print_statistics