diff --git a/plugins/php/versions/52/fileinfo.sh b/plugins/php/versions/52/fileinfo.sh index b9c9f92bc..00495aff9 100755 --- a/plugins/php/versions/52/fileinfo.sh +++ b/plugins/php/versions/52/fileinfo.sh @@ -38,6 +38,10 @@ Install_lib() if [ ! -f "$extFile" ];then + if [ ! -d $sourcePath/php${version}/ext ];then + cd $serverPath/mdserver-web/plugins/php && /bin/bash install.sh install ${version} + fi + cd $sourcePath/php${version}/ext/${LIBNAME} $serverPath/php/$version/bin/phpize diff --git a/plugins/php/versions/52/pcntl.sh b/plugins/php/versions/52/pcntl.sh index 509903ad5..1aaba3f33 100755 --- a/plugins/php/versions/52/pcntl.sh +++ b/plugins/php/versions/52/pcntl.sh @@ -38,6 +38,10 @@ Install_lib() if [ ! -f "$extFile" ];then + if [ ! -d $sourcePath/php${version}/ext ];then + cd $serverPath/mdserver-web/plugins/php && /bin/bash install.sh install ${version} + fi + cd $sourcePath/php${version}/ext/${LIBNAME} $serverPath/php/$version/bin/phpize