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