actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-09-15 01:04:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix add_extension on linux and macOS

Browse Source
This commit is contained in:
Shivam Mathur
2019-12-16 19:24:49 +05:30
parent b3a84fc51e
commit 2bf7ab0207
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/scripts/linux.sh
View File

@ -96,11 +96,11 @@ add_extension()
extension=$1
install_command=$2
prefix=$3
if ! php -m | grep -i -q "$extension" && [ -e "$ext_dir/$extension.so" ]; then
if ! php -m | grep -i -q ^"$extension"$ && [ -e "$ext_dir/$extension.so" ]; then
echo "$prefix=$extension" >> "$ini_file" && add_log "$tick" "$extension" "Enabled"
elif php -m | grep -i -q "$extension"; then
elif php -m | grep -i -q ^"$extension"$; then
add_log "$tick" "$extension" "Enabled"
elif ! php -m | grep -i -q "$extension"; then
elif ! php -m | grep -i -q ^"$extension"$; then
(
eval "$install_command" && \
add_log "$tick" "$extension" "Installed and enabled"