summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorJoe Watkins <krakjoe@php.net>2019-06-29 05:26:38 +0200
committerJoe Watkins <krakjoe@php.net>2019-06-29 05:26:38 +0200
commit5f25cd6ed78b4775e96012e829fd4aba2fb34c75 (patch)
tree3d25d4974c511a2768affcda3108f9a4a9e5a8b8 /scripts
parent5a4f7cead49563ff6a3acb0285cb1cc033ea735a (diff)
parent2d5f277a2d7129c58dce46270768787c145e79fb (diff)
downloadphp-git-5f25cd6ed78b4775e96012e829fd4aba2fb34c75.tar.gz
Merge branch 'PHP-7.4'
* PHP-7.4: add ini config details to php-config
Diffstat (limited to 'scripts')
-rw-r--r--scripts/php-config.in8
1 files changed, 8 insertions, 0 deletions
diff --git a/scripts/php-config.in b/scripts/php-config.in
index d6c62ccf39..9271e87286 100644
--- a/scripts/php-config.in
+++ b/scripts/php-config.in
@@ -19,6 +19,8 @@ php_cli_binary=NONE
php_cgi_binary=NONE
configure_options="@CONFIGURE_OPTIONS@"
php_sapis="@PHP_INSTALLED_SAPIS@"
+ini_dir="@EXPANDED_PHP_CONFIG_FILE_SCAN_DIR@"
+ini_path="@EXPANDED_PHP_CONFIG_FILE_PATH@"
# Set php_cli_binary and php_cgi_binary if available
for sapi in $php_sapis; do
@@ -63,6 +65,10 @@ case "$1" in
echo $configure_options;;
--man-dir)
echo $man_dir;;
+--ini-path)
+ echo $ini_path;;
+--ini-dir)
+ echo $ini_dir;;
--version)
echo $version;;
--vernum)
@@ -80,6 +86,8 @@ Options:
--man-dir [$man_dir]
--php-binary [$php_binary]
--php-sapis [$php_sapis]
+ --ini-path [$ini_path]
+ --ini-dir [$ini_dir]
--configure-options [$configure_options]
--version [$version]
--vernum [$vernum]