From 77721f6637750a860ba4d85fe55f552b381fe99c Mon Sep 17 00:00:00 2001
From: Shivam Mathur <shivam_jpr@hotmail.com>
Date: Sat, 26 Dec 2020 01:00:24 +0530
Subject: [PATCH] Make sure tool path is always in PATH

---
 src/scripts/common.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/scripts/common.sh b/src/scripts/common.sh
index 34083394..655c9670 100644
--- a/src/scripts/common.sh
+++ b/src/scripts/common.sh
@@ -204,6 +204,8 @@ add_tool() {
   tool=$2
   ver_param=$3
   tool_path="$tool_path_dir/$tool"
+  export PATH=$PATH:$tool_path_dir
+  echo "$tool_path_dir" >> "$GITHUB_PATH"
   if [ ! -e "$tool_path" ]; then
     rm -rf "$tool_path"
   fi