From 368867ad9299ff926eb707ea3262857903ecb85d Mon Sep 17 00:00:00 2001 From: midoks Date: Tue, 14 Jul 2020 15:48:20 +0800 Subject: [PATCH] Update mongodb.sh --- plugins/php/versions/71/mongodb.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/plugins/php/versions/71/mongodb.sh b/plugins/php/versions/71/mongodb.sh index 9bca2016d..aa262d1d1 100755 --- a/plugins/php/versions/71/mongodb.sh +++ b/plugins/php/versions/71/mongodb.sh @@ -45,8 +45,8 @@ Install_lib() cd $php_lib/${LIBNAME}-${LIBV} $serverPath/php/$version/bin/phpize - ./configure --with-php-config=$serverPath/php/$version/bin/php-config - make && make install && make clean + ./configure --with-php-config=$serverPath/php/$version/bin/php-config \ + && make clean && make && make install && make clean fi if [ ! -f "$extFile" ];then