mirror of
https://github.com/shivammathur/setup-php.git
synced 2025-07-31 18:57:17 +07:00
Process extensions before tools
This commit is contained in:
2
dist/index.js
vendored
2
dist/index.js
vendored
@ -450,10 +450,10 @@ async function getScript(filename, version, os_version) {
|
||||
const coverage_driver = await utils.getInput('coverage', false);
|
||||
const tools_csv = await utils.getInput('tools', false);
|
||||
let script = await utils.readFile(filename, 'src/scripts');
|
||||
script += await tools.addTools(tools_csv, version, os_version);
|
||||
if (extension_csv) {
|
||||
script += await extensions.addExtension(extension_csv, version, os_version);
|
||||
}
|
||||
script += await tools.addTools(tools_csv, version, os_version);
|
||||
if (coverage_driver) {
|
||||
script += await coverage.addCoverage(coverage_driver, version, os_version);
|
||||
}
|
||||
|
Reference in New Issue
Block a user