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.

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

fix ranlib (libtool) can't rename file #126

Open
wants to merge 3 commits into
base: master
Choose a base branch
from

Conversation

philippe44
Copy link

rename() will fail at least on ranlib (libtool.c) when used on non-local filesystems because the memory map was not released

rename() will fail at least on ranlib (libtool.c) when used on non-local filesystems because the memory map was not released
@philippe44 philippe44 changed the title fix can't rename file fix ranlib (libtool) can't rename file Oct 21, 2022
@philippe44
Copy link
Author

No interest in that PR ?

@tpoechtrager
Copy link
Owner

I can't do much testing right now. I'd have to blindly merge it.

@philippe44
Copy link
Author

Understood - Let me know if I can help in some way, but that's not very important anyway as I guess most people build on local FS (which makes sense ...)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants