Commit 6ee5fe7
mingw: when running in a Windows container, try to rename() harder
It is a known issue that a rename() can fail with an "Access denied"
error at times, when copying followed by deleting the original file
works. Let's just fall back to that behavior.
Signed-off-by: JiSeop Moon <[email protected]>
Signed-off-by: Johannes Schindelin <[email protected]>1 parent c95dce0 commit 6ee5fe7
1 file changed
+7
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2795 | 2795 | | |
2796 | 2796 | | |
2797 | 2797 | | |
| 2798 | + | |
| 2799 | + | |
| 2800 | + | |
| 2801 | + | |
| 2802 | + | |
| 2803 | + | |
| 2804 | + | |
2798 | 2805 | | |
2799 | 2806 | | |
2800 | 2807 | | |
| |||
0 commit comments