Merge pull request dotnet/corert#4080 from dotnet/nmirror

[platform/upstream/coreclr.git] / run.sh

diff --git a/run.sh b/run.sh
index 9f23901..bd6a68f 100755 (executable)
--- a/run.sh
+++ b/run.sh
@@ -5,9 +5,6 @@ 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