diff options
| author |  Stanley Cheung <stanleycheung@google.com> | 2015-07-15 08:36:52 -0700 |
|---|---|---|
| committer | Stanley Cheung <stanleycheung@google.com> | 2015-07-15 08:36:52 -0700 |
| commit | e726a53a6c946240ac5fffc0c6500c71d2ff3be6 (patch) | |
| tree | 063a023eed3112fd218da8aa6efc04db2ab7e9ad | |
| parent | 0ea6be31be37d1dfa7a3475d37532483b0510bef (diff) | |
php script minor fix
| -rwxr-xr-x | src/php/bin/determine_extension_dir.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/php/bin/determine_extension_dir.sh b/src/php/bin/determine_extension_dir.sh index 3c1fc297fa..b4342ac89f 100755 --- a/src/php/bin/determine_extension_dir.sh +++ b/src/php/bin/determine_extension_dir.sh @@ -46,4 +46,6 @@ elif [ ! -e $default_extension_dir/grpc.so ]; then ln -s $f $module_dir/$(basename $f) &> /dev/null || true done extension_dir="-d extension_dir=${module_dir} -d extension=grpc.so" +else + extension_dir="-d extension=grpc.so" fi |