diff options
Diffstat (limited to 'scripts/php-config.in')
-rw-r--r-- | scripts/php-config.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/php-config.in b/scripts/php-config.in index 8c5a0a55df..593f28edca 100644 --- a/scripts/php-config.in +++ b/scripts/php-config.in @@ -24,12 +24,14 @@ case "$1" in echo $libs;; --extension-dir) echo $extension_dir;; +--include-dir) + echo $includedir;; --php-binary) echo $php_binary;; --version) echo $version;; *) - echo "Usage: $0 [--prefix|--includes|--ldflags|--libs|--extension-dir|--php-binary|--version]" + echo "Usage: $0 [--prefix|--includes|--ldflags|--libs|--extension-dir|--include-dir|--php-binary|--version]" exit 1;; esac |