Skip to content

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

Open
philippe44 wants to merge 3 commits intotpoechtrager:masterfrom
philippe44:master
Open

fix ranlib (libtool) can't rename file#126
philippe44 wants to merge 3 commits intotpoechtrager:masterfrom
philippe44:master

Conversation

@philippe44
Copy link
Copy Markdown

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
Copy Markdown
Author

No interest in that PR ?

@tpoechtrager
Copy link
Copy Markdown
Owner

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

@philippe44
Copy link
Copy Markdown
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