Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix error code for path_rename of a non-existant file #2667

Merged
merged 2 commits into from
Nov 8, 2021
Merged

Fix error code for path_rename of a non-existant file #2667

merged 2 commits into from
Nov 8, 2021

Conversation

Amanieu
Copy link
Contributor

@Amanieu Amanieu commented Nov 8, 2021

Fixes #2534

@ptitSeb
Copy link
Contributor

ptitSeb commented Nov 8, 2021

bors r+

@bors
Copy link
Contributor

bors bot commented Nov 8, 2021

Build succeeded:

@bors bors bot merged commit 4529b03 into master Nov 8, 2021
@bors bors bot deleted the rename_enoent branch November 8, 2021 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ptitSeb ptitSeb ptitSeb approved these changes

Assignees

@ptitSeb ptitSeb

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

path_rename results in EINVAL instead of ENOENT when target file doesn't exist
2 participants
@Amanieu @ptitSeb