Utility: make Path::move() use MoveFileEx() on Windows.#143
Utility: make Path::move() use MoveFileEx() on Windows.#143williamjcm wants to merge 2 commits intomosra:masterfrom
Conversation
This should prevent failures when the destination already exists. Also added a test to check the behaviour.
mosra
left a comment
There was a problem hiding this comment.
Not sure what's up with CircleCI, why is it not building this PR. Is it possible you have some stale configuration for it set up? Either adding your fork (and marking it as "OSS" or whatever the setting is to get it built with free credits) or completely removing any CircleCI integration from this repo / your GH account should probably do the trick.
Or maybe it just needs some time to wake up, no idea... but #142 went fine, so this doesn't seem to be an outage.
Worst case I'll run the CI on the next branch myself, if you don't manage.
|
In the case of Circle, dunno what happened. I never connected it to my account, and I made sure to fetch the latest |
|
Not sure if that helps, but there's https://app.circleci.com/pipelines/github/williamjcm/corrade, so your account seems to be connected somehow. |
|
I checked my emails, and looks like it, considering I did log in to it at some point. Also, in my dashboard, my fork isn't configured in any way, but it's weird that it would also prevent building PRs. 🤔 Eh, I'll try setting it up. It's not like it'll use all of my free minutes anyway. |
|
Encountered a similar case with mosra/magnum-plugins#121 lately, but there it was at least failing with an error message. Here it's completely silent. For OSS repos (if you enable the setting) there's plenty of free minutes, even on the 100s of build jobs I have I only use half of the monthly allowance :D |
I get that even though the setting is enabled. Welp... :/
Apparently, that was auto-enabled when I added the project. |
|
Eh, fuck it then. Pushing the commit onto |
|
I'm getting this:
|
|
Merged as 1584eea, with some extra changes to print Nevertheless, thanks for bringing it 90% of the way! 👍 |
This should prevent failures when the destination already exists. Also added a test to check the behaviour.
As mentioned on Gitter, the
MOVEFILE_COPY_ALLOWEDflag is only used whentois on a different volume thanfrom, at least according to the Microsoft docs.