Merge pull request #11054 from wtgodbe/spacing
[platform/upstream/coreclr.git] / run.sh
diff --git a/run.sh b/run.sh
old mode 100644 (file)
new mode 100755 (executable)
index 1c9299a..2612c86
--- a/run.sh
+++ b/run.sh
@@ -5,11 +5,14 @@ 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 $working_tree_root/Tools-Override/* $working_tree_root/Tools > /dev/null
+
 toolRuntime=$working_tree_root/Tools
 dotnet=$toolRuntime/dotnetcli/dotnet
 
-echo "Running: $dotnet $toolRuntime/run.exe $*"
-$dotnet $toolRuntime/run.exe $*
+echo "Running: $dotnet $toolRuntime/run.exe $working_tree_root/config.json $*"
+$dotnet $toolRuntime/run.exe $working_tree_root/config.json $*
 if [ $? -ne 0 ]
 then
     echo "ERROR: An error occured in $dotnet $toolRuntime/run $#. Check $# logs under $working_tree_root."