From badd5d9cb7fa52a9a900f571c30d30dd42263246 Mon Sep 17 00:00:00 2001 From: midoks Date: Sat, 11 Jul 2020 23:49:51 +0800 Subject: [PATCH] Update redis.sh --- plugins/php/versions/56/redis.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/php/versions/56/redis.sh b/plugins/php/versions/56/redis.sh index 1db607b3c..66d853151 100755 --- a/plugins/php/versions/56/redis.sh +++ b/plugins/php/versions/56/redis.sh @@ -38,7 +38,7 @@ Install_lib() php_lib=$sourcePath/php_lib mkdir -p $php_lib - if [ ! -d $php_lib/${LIBNAME}-${LIBV}];then + if [ ! -d $php_lib/${LIBNAME}-${LIBV} ];then wget -O $php_lib/${LIBNAME}-${LIBV}.tgz http://pecl.php.net/get/${LIBNAME}-${LIBV}.tgz cd $php_lib && tar xvf ${LIBNAME}-${LIBV}.tgz fi