mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-08-14 17:44:40 +07:00
7 lines
286 B
Bash
7 lines
286 B
Bash
patch_pdo_oci() {
|
|
get -q -n config.m4 https://raw.githubusercontent.com/php/php-src/PHP-8.0/ext/pdo_oci/config.m4
|
|
if [[ ${version:?} =~ 5.[3-6] ]]; then
|
|
sudo sed -i '' "/PHP_CHECK_PDO_INCLUDES/d" config.m4 2>/dev/null || sudo sed -i "/PHP_CHECK_PDO_INCLUDES/d" config.m4
|
|
fi
|
|
}
|