On Windows, delete existing log file before renaming temp file.
On non-Windows platforms, os.rename() will silently replace the destination file if it already exists. On Windows, it doesn't do this, and the filesystem has no mechanism to simulate the same type of atomic rename operation. So on Windows, delete the file first before calling os.rename(). llvm-svn: 238239
Loading
Please sign in to comment