Skip to content

When detecting the library prefix, make sure the whole path exists#1036

Merged
morozov merged 1 commit into
phpbrew:masterfrom
morozov:issues/1035
Oct 31, 2019
Merged

When detecting the library prefix, make sure the whole path exists#1036
morozov merged 1 commit into
phpbrew:masterfrom
morozov:issues/1035

Conversation

@morozov

@morozov morozov commented Jul 29, 2019

Copy link
Copy Markdown
Contributor

Fixes #1035.

@coveralls

coveralls commented Jul 29, 2019

Copy link
Copy Markdown

Coverage Status

Coverage increased (+0.04%) to 41.003% when pulling 14f34da on morozov:issues/1035 into 01de616 on phpbrew:master.

@morozov morozov requested review from c9s and jhdxr July 29, 2019 18:19
@morozov

morozov commented Aug 6, 2019

Copy link
Copy Markdown
Contributor Author

@c9s, @jhdxr any feedback on this?

@morozov morozov changed the title Simplify the logic of detecting the library directory on Debian When detecting the library prefix, make sure the whole path exists Oct 31, 2019
@morozov morozov merged commit 5ad119c into phpbrew:master Oct 31, 2019
@morozov morozov deleted the issues/1035 branch October 31, 2019 16:18
@morozov morozov self-assigned this Nov 1, 2019
@morozov morozov added this to the Release 1.24 milestone Nov 27, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

PhpBrew cannot detect the directory with libraries on Ubuntu 19.04

3 participants