summaryrefslogtreecommitdiff
path: root/run.sh
diff options
context:
space:
mode:
Diffstat (limited to 'run.sh')
-rwxr-xr-xrun.sh3
1 files changed, 3 insertions, 0 deletions
diff --git a/run.sh b/run.sh
index bd6a68f2bb..9f239010dd 100755
--- a/run.sh
+++ b/run.sh
@@ -5,6 +5,9 @@ working_tree_root="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
echo "Running init-tools.sh"
$working_tree_root/init-tools.sh
+# Always copy over the Tools-Override
+cp $__scriptpath/Tools-Override/* $__scriptpath/Tools > /dev/null
+
toolRuntime=$working_tree_root/Tools
dotnet=$toolRuntime/dotnetcli/dotnet