Skip to content

[readlink -f] doesn't work on OSX#701

Merged
coqbot merged 1 commit into
rocq-prover:trunkfrom
SkySkimmer:osx-fix-readlink
May 31, 2017
Merged

[readlink -f] doesn't work on OSX#701
coqbot merged 1 commit into
rocq-prover:trunkfrom
SkySkimmer:osx-fix-readlink

Conversation

@SkySkimmer

Copy link
Copy Markdown
Contributor

We only want an absolute path, no need to follow symlinks.

Issue brought up by @herbelin at #248 (comment)

We only want an absolute path, no need to follow symlinks.
@ejgallego ejgallego added this to the 8.7 milestone May 30, 2017
@maximedenes

Copy link
Copy Markdown
Member

Looks good, merging, thanks!

@coqbot coqbot merged commit 2712ea6 into rocq-prover:trunk May 31, 2017
@SkySkimmer SkySkimmer deleted the osx-fix-readlink branch June 2, 2017 10:25
@Zimmi48 Zimmi48 added the kind: fix This fixes a bug or incorrect documentation. label Jul 20, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: fix This fixes a bug or incorrect documentation.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants