diff --git a/plugins/php/versions/54/install.sh b/plugins/php/versions/54/install.sh index 6c17a8311..4cf83ba6f 100755 --- a/plugins/php/versions/54/install.sh +++ b/plugins/php/versions/54/install.sh @@ -92,6 +92,11 @@ if [ ! -d $serverPath/php/${PHP_VER} ];then cp -rf ext/phar/phar.1.in ext/phar/phar.1 fi + if [ ! -f ext/phar/phar.phar.1 ];then + cp -rf ext/phar/phar.phar.1.in ext/phar/phar.phar.1 + fi + + make install && make clean fi