php/archived-php-sdk-binary-tools
1
0
Fork 0
mirror of https://github.com/php/php-sdk-binary-tools.git synced 2026-03-24 07:32:15 +01:00
Code Issues Packages Projects Releases Wiki Activity

no realpath needed

Browse Source
This commit is contained in:
Anatol Belski
2017-08-17 15:33:38 +02:00
parent aee165fe05
commit 69fb69fd93
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/php/libsdk/SDK/Config.php
View File

@@ -302,7 +302,7 @@ class Config
if (preg_match(",PHP_BUILD=(.+),", $s, $m)) { if (preg_match(",PHP_BUILD=(.+),", $s, $m)) {
if (isset($m[1]) && is_dir($m[1])) { if (isset($m[1]) && is_dir($m[1])) {
self::setDepsLocalPath(realpath($m[1])); self::setDepsLocalPath($m[1]);
} }
} }
} }