mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-02-19 07:26:26 +00:00
cb3f1dfb38
Rather than renaming files (which must be on the same volume/filesystem), we copy and delete them. This is less efficient, however the files in question are fairly small, so there's probably no need to rename _when we can_ as an optimization. Differential Revision: https://phabricator.services.mozilla.com/D217727