huanghuiming/setup-php
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Tools must be added after extensions

Browse Source
This commit is contained in:
GoT 2021-11-19 18:37:44 +01:00 committed by GitHub
parent 2f5c2edb22
commit 8af455e693
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
dist/index.js vendored
View File

@ -431,10 +431,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);
}
@ -3059,4 +3059,4 @@ module.exports = require("util");
/******/ module.exports = __webpack_exports__;
/******/
/******/ })()
;
;