actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 20:01:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Fix setup for cached OCI extensions

Browse Source
This commit is contained in:
Shivam Mathur 2021-09-19 02:41:04 +05:30
parent 31971c78cd
commit 48aac87d46
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/scripts/ext/oci.sh
View File

@ -43,6 +43,8 @@ add_oci_helper() {
patch_phpize
add_extension_from_source "$ext" https://github.com php php-src "$(php_src_tag)" extension get
restore_phpize
else
enable_extension "$ext" extension
fi
}