diff options
author | Stanley Cheung <stanleycheung@google.com> | 2015-06-29 10:15:04 -0700 |
---|---|---|
committer | Stanley Cheung <stanleycheung@google.com> | 2015-06-29 10:15:04 -0700 |
commit | 85b5d76c2b9e3e4ccdd28cb724e5306d3c7ad311 (patch) | |
tree | d3e302efee8142b43992fce2dc08b8e9b366a225 | |
parent | 202930ad5438fca5e0f04da034826a98ba5b1f6d (diff) |
php minor script fix
-rwxr-xr-x | src/php/bin/determine_extension_dir.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/php/bin/determine_extension_dir.sh b/src/php/bin/determine_extension_dir.sh index 6fc392afc0..6bbd934bf1 100755 --- a/src/php/bin/determine_extension_dir.sh +++ b/src/php/bin/determine_extension_dir.sh @@ -29,15 +29,15 @@ # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. set -e -default_extension_dir=$(php -i | grep extension_dir | sed 's/.*=> //g') +default_extension_dir=$(php-config --extension-dir) if command -v brew >/dev/null && [ -d $(brew --prefix)/opt/grpc-php ]; then # homebrew and the grpc-php formula are installed extension_dir="-d extension_dir="$(brew --prefix)/opt/grpc-php -elif [ ! -f $default_extension_dir/grpc.so ]; then +elif [ ! -e $default_extension_dir/grpc.so ]; then # the grpc extension is not found in the default PHP extension dir # try the source modules directory module_dir=../ext/grpc/modules - if [ ! -f $module_dir/grpc.so ]; then + if [ ! -e $module_dir/grpc.so ]; then echo "Please run 'phpize && ./configure && make' from ext/grpc first" exit 1 fi |