diff options
author | Joe Watkins <krakjoe@php.net> | 2019-06-29 05:26:38 +0200 |
---|---|---|
committer | Joe Watkins <krakjoe@php.net> | 2019-06-29 05:26:38 +0200 |
commit | 5f25cd6ed78b4775e96012e829fd4aba2fb34c75 (patch) | |
tree | 3d25d4974c511a2768affcda3108f9a4a9e5a8b8 /scripts | |
parent | 5a4f7cead49563ff6a3acb0285cb1cc033ea735a (diff) | |
parent | 2d5f277a2d7129c58dce46270768787c145e79fb (diff) | |
download | php-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.in | 8 |
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] |