Bug 1417280 - Use shutil.move to move grcov output file instead of os.rename. r=me

os.rename doesn't work if dst and src are on different filesystems.

--HG--
extra : histedit_source : 6396f787cdbfbd085fac60fb7d520aaaddacff67
This commit is contained in:
Marco Castelluccio 2017-11-15 10:14:56 +01:00
Родитель fcd6d8d77b
Коммит e225e00cb0
1 изменённых файлов: 1 добавлений и 1 удалений

Просмотреть файл

@ -192,7 +192,7 @@ class CodeCoverageMixin(object):
return_type='files' return_type='files'
) )
output_file_name = 'grcov_lcov_output.info' output_file_name = 'grcov_lcov_output.info'
os.rename(grcov_output, os.path.join(self.grcov_dir, output_file_name)) shutil.move(grcov_output, os.path.join(self.grcov_dir, output_file_name))
# Zip the grcov output and upload it. # Zip the grcov output and upload it.
self.run_command( self.run_command(