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

Commits on Oct 21, 2022

  1. fix can't rename file

    rename() will fail at least on ranlib (libtool.c) when used on non-local filesystems because the memory map was not released
    philippe44 committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    3c8478f View commit details
    Browse the repository at this point in the history
  2. was wrong PR

    philippe44 committed Oct 21, 2022
    Configuration menu
    Copy the full SHA
    3c08e44 View commit details
    Browse the repository at this point in the history

Commits on Oct 22, 2022

  1. check for ofile

    philippe44 committed Oct 22, 2022
    Configuration menu
    Copy the full SHA
    0263ba7 View commit details
    Browse the repository at this point in the history