summaryrefslogtreecommitdiff
path: root/run.cmd
diff options
context:
space:
mode:
Diffstat (limited to 'run.cmd')
-rw-r--r--run.cmd11
1 files changed, 7 insertions, 4 deletions
diff --git a/run.cmd b/run.cmd
index 5327df4435..cab06d52dd 100644
--- a/run.cmd
+++ b/run.cmd
@@ -48,14 +48,17 @@ if NOT [%ERRORLEVEL%]==[0] (
exit /b 1
)
-:: Always copy over the Tools-Override
-xcopy %~dp0Tools-Override\* %~dp0Tools /y >nul
-
set _toolRuntime=%~dp0Tools
set _dotnet=%_toolRuntime%\dotnetcli\dotnet.exe
+set _json=%~dp0config.json
+
+:: run.exe depends on running in the root directory, notably because the config.json specifies
+:: a relative path to the binclash logger
+pushd %~dp0
echo Running: %_dotnet% %_toolRuntime%\run.exe %~dp0config.json %*
-call %_dotnet% %_toolRuntime%\run.exe %~dp0config.json %*
+call %_dotnet% %_toolRuntime%\run.exe "%_json%" %*
+popd
if NOT [%ERRORLEVEL%]==[0] (
exit /b 1
)