diff options
| author |  Mark D. Roth <roth@google.com> | 2016-08-02 10:07:48 -0700 |
|---|---|---|
| committer | Mark D. Roth <roth@google.com> | 2016-08-02 10:07:48 -0700 |
| commit | 3ac6fc1b97924b069e998ad72e0c404d21381cac (patch) | |
| tree | 07edeef1a36558dbbe62e96ebf778f6c6959863a /src/php/bin/determine_extension_dir.sh | |
| parent | f9d8e9064ba9aa20c944441f4890866ff3b98141 (diff) | |
| parent | 0ff122e3e55a297643805735986deb7f336c7159 (diff) | |
Merge branch 'filter_call_init_failure' into filter_api
Diffstat (limited to 'src/php/bin/determine_extension_dir.sh')
| -rwxr-xr-x | src/php/bin/determine_extension_dir.sh | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/src/php/bin/determine_extension_dir.sh b/src/php/bin/determine_extension_dir.sh index b4342ac89f..a59882506f 100755 --- a/src/php/bin/determine_extension_dir.sh +++ b/src/php/bin/determine_extension_dir.sh @@ -29,11 +29,7 @@ # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. set -e default_extension_dir=$(php-config --extension-dir) -if command -v brew > /dev/null && \ - brew ls --versions | grep php5[56]-grpc > /dev/null; then - # the grpc php extension was installed by homebrew - : -elif [ ! -e $default_extension_dir/grpc.so ]; then +if [ ! -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 |