From db5a2acc4772496dccb997431dadd1ba5077d967 Mon Sep 17 00:00:00 2001 From: midoks Date: Mon, 27 Jun 2022 09:02:19 +0800 Subject: [PATCH] Update install.sh --- plugins/php/versions/54/install.sh | 4 ++++ 1 file changed, 4 insertions(+) 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