mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-09-01 02:14:16 +07:00
Improve pecl support
This commit is contained in:
5
dist/index.js
vendored
5
dist/index.js
vendored
@ -2577,10 +2577,7 @@ async function getScript(filename, version, os_version) {
|
||||
const extension_csv = await utils.getInput('extensions', false);
|
||||
const ini_values_csv = await utils.getInput('ini-values', false);
|
||||
const coverage_driver = await utils.getInput('coverage', false);
|
||||
let tools_csv = await utils.getInput('tools', false);
|
||||
if (/.*-(beta|alpha|devel|snapshot|\d+\.\d+\.\d+).*/.test(extension_csv)) {
|
||||
tools_csv = 'pecl, ' + tools_csv;
|
||||
}
|
||||
const tools_csv = await utils.getInput('tools', false);
|
||||
let script = await utils.readScript(filename);
|
||||
script += await tools.addTools(tools_csv, version, os_version);
|
||||
if (extension_csv) {
|
||||
|
Reference in New Issue
Block a user