From 8af455e6938be1f7d335db0bea0e99edab144b0c Mon Sep 17 00:00:00 2001
From: GoT <PierreRambaud@users.noreply.github.com>
Date: Fri, 19 Nov 2021 18:37:44 +0100
Subject: [PATCH] Tools must be added after extensions

---
 dist/index.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist/index.js b/dist/index.js
index 8afb76bc..5121499a 100644
--- a/dist/index.js
+++ b/dist/index.js
@@ -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__;
 /******/ 	
 /******/ })()
-;
\ No newline at end of file
+;