From 874c63bc244c496aaad0bf3ec1d63429240a4b52 Mon Sep 17 00:00:00 2001 From: nathan smith Date: Mon, 28 Jul 2025 16:57:37 +0100 Subject: [PATCH] Fixing a few querks with the repair tool. --- repair tool.bat | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/repair tool.bat b/repair tool.bat index cd8af84..96030d8 100644 --- a/repair tool.bat +++ b/repair tool.bat @@ -19,15 +19,15 @@ if %errorlevel%==0 ( :: Reset scripts repo echo Resetting scripts repo to remote... pushd "%SCRIPTS_DIR%" -%GIT% fetch origin -%GIT% reset --hard origin/main +call "%GIT%" fetch origin +call "%GIT%" reset --hard origin/main popd :: Reset sounds repo echo Resetting sounds repo to remote... pushd "%SOUNDS_DIR%" -%GIT% fetch origin -%GIT% reset --hard origin/main +call "%GIT%" fetch origin +call "%GIT%" reset --hard origin/main popd echo Done.