com web/rmtools: Use PHP command from the SDK: include/PeclExt.php
| From: | Anatol Belski | Date: | Tue, 05 Sep 2017 17:36:30 +0000 |
| Subject: | com web/rmtools: Use PHP command from the SDK: include/PeclExt.php | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-26370@lists.php.net to get a copy of this message | ||
Commit: 8cd83d2091d29b4b6b770f3cb916a05f213ef7af
Author: Anatol Belski <ab@php.net> Tue, 5 Sep 2017 19:36:30 +0200
Parents: a5a7d99fcfb8289827c7cab7faacb86cec020299
Branches: master
Link: http://git.php.net/?p=web/rmtools.git;a=commitdiff;h=8cd83d2091d29b4b6b770f3cb916a05f213ef7af
Log:
Use PHP command from the SDK
Changed paths:
M include/PeclExt.php
Diff:
diff --git a/include/PeclExt.php b/include/PeclExt.php
index 96792bd..2f5ffb8 100644
--- a/include/PeclExt.php
+++ b/include/PeclExt.php
@@ -334,7 +334,11 @@ class PeclExt
} else if ($this->package_xml_path) {
//if (0) {
$package_xml_dir = dirname($this->package_xml_path);
- $cmd = PHP_BINARY . " $this->pickle_phar convert " . $package_xml_dir;
+ $php_bin = getenv("PHP_SDK_PHP_CMD");
+ if (!$php_bin) {
+ $php_bin = PHP_BINARY;
+ }
+ $cmd = $php_bin . " $this->pickle_phar convert " . $package_xml_dir;
$pickle_convert_out = shell_exec($cmd);
if (file_exists($package_xml_dir . DIRECTORY_SEPARATOR . "composer.json")) {