From 6d711f181f0e1c246a3bff13532bcafc9f07d985 Mon Sep 17 00:00:00 2001 From: CityFun <31820853+zhengkunwang223@users.noreply.github.com> Date: Mon, 19 May 2025 15:43:59 +0800 Subject: [PATCH] fix: fix issue with install sg11 failed (#3950) --- php/7/build/data/install-ext | 9 ++++++--- php/8/build/data/install-ext | 7 +++++-- 2 files changed, 11 insertions(+), 5 deletions(-) diff --git a/php/7/build/data/install-ext b/php/7/build/data/install-ext index 16e8f5a3b..6f475f9e7 100644 --- a/php/7/build/data/install-ext +++ b/php/7/build/data/install-ext @@ -36,10 +36,13 @@ is_extension_installed() { install_php_extensions() { local extension=$1 install-php-extensions $extension - - if is_extension_installed "$extension"; then + local check_name=$2 + if [ -z "$check_name" ]; then + check_name=$extension + fi + if is_extension_installed "$check_name"; then echo "------ install-php-extensions $extension succeeded ------" - return 0 + return fi echo "------ install-php-extensions $extension failed ------" diff --git a/php/8/build/data/install-ext b/php/8/build/data/install-ext index 083dd2611..e24bd2794 100644 --- a/php/8/build/data/install-ext +++ b/php/8/build/data/install-ext @@ -37,8 +37,11 @@ is_extension_installed() { install_php_extensions() { local extension=$1 install-php-extensions $extension - - if is_extension_installed "$extension"; then + local check_name=$2 + if [ -z "$check_name" ]; then + check_name=$extension + fi + if is_extension_installed "$check_name"; then echo "------ install-php-extensions $extension succeeded ------" return fi