From e726a53a6c946240ac5fffc0c6500c71d2ff3be6 Mon Sep 17 00:00:00 2001 From: Stanley Cheung Date: Wed, 15 Jul 2015 08:36:52 -0700 Subject: [PATCH] php script minor fix --- src/php/bin/determine_extension_dir.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/php/bin/determine_extension_dir.sh b/src/php/bin/determine_extension_dir.sh index 3c1fc297fa7..b4342ac89fa 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