From b427670181a0fc053168d78a04cafa5b716f8f84 Mon Sep 17 00:00:00 2001 From: ulvii Date: Fri, 14 Jul 2017 14:25:59 -0700 Subject: [PATCH] Removing extension_dir --- test/Performance/setup_env_unix.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/test/Performance/setup_env_unix.sh b/test/Performance/setup_env_unix.sh index 9a2df0ec..e8a139dc 100644 --- a/test/Performance/setup_env_unix.sh +++ b/test/Performance/setup_env_unix.sh @@ -120,9 +120,8 @@ make >> ../env_setup.log 2>&1 echo "OK" sudo make install >> ../env_setup.log 2>&1 cp php.ini-production php.ini -EXTENSION_DIR=`php -i | grep -m1 extension_dir | cut -f3 -d " "` -echo "extension=$EXTENSION_DIR/sqlsrv.so" >> php.ini -echo "extension=$EXTENSION_DIR/pdo_sqlsrv.so" >> php.ini +echo "extension=sqlsrv.so" >> php.ini +echo "extension=pdo_sqlsrv.so" >> php.ini sudo cp php.ini /usr/local/lib cd .. php -v