Fix deps path recognition

weltling · weltling · commit 64c2ac973c8f · 2017-08-23T00:19:10.000+02:00
diff --git a/lib/php/libsdk/SDK/Config.php b/lib/php/libsdk/SDK/Config.php
@@ -301,8 +301,8 @@ public static function getDepsLocalPath() : ?string
 				$s = file_get_contents("Makefile");
 
 				if (preg_match(",PHP_BUILD=(.+),", $s, $m)) {
-					if (isset($m[1]) && is_dir($m[1])) {
-						self::setDepsLocalPath($m[1]);
+					if (isset($m[1])) {
+						self::setDepsLocalPath(trim($m[1]));
 					}
 				}
 			}

Original file line number	Diff line number	Diff line change
`@@ -301,8 +301,8 @@ public static function getDepsLocalPath() : ?string`
`301`	`301`	`$s = file_get_contents("Makefile");`
`302`	`302`
`303`	`303`	`if (preg_match(",PHP_BUILD=(.+),", $s, $m)) {`
`304`		`- if (isset($m[1]) && is_dir($m[1])) {`
`305`		`- self::setDepsLocalPath($m[1]);`
	`304`	`+ if (isset($m[1])) {`
	`305`	`+ self::setDepsLocalPath(trim($m[1]));`
`306`	`306`	`}`
`307`	`307`	`}`
`308`	`308`	`}`