diff options
| author | Joe Watkins <krakjoe@php.net> | 2019-06-26 12:49:01 +0200 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2019-06-29 05:26:21 +0200 |
| commit | 2d5f277a2d7129c58dce46270768787c145e79fb (patch) | |
| tree | 00cd59dc661a17da33b0362192b6ee5597bf1095 /scripts | |
| parent | 57424f272c488d479e7caa9c7eb86247053fe883 (diff) | |
| download | php-git-2d5f277a2d7129c58dce46270768787c145e79fb.tar.gz | |
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] |