diff --git a/php/7/build/data/install-ext b/php/7/build/data/install-ext index 16e8f5a3b7..6f475f9e77 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 083dd26112..e24bd2794c 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