diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 09c45f92539..66e4daa8cf0 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -2359,11 +2359,12 @@ sub write_w32_updater { >con echo DO NOT CLOSE THIS WINDOW! >con echo TeX Live infrastructure update in progress ... >con echo Detailed command logging to $upd_log - chdir /d "%~dp0.." + pushd "%~dp0.." if not errorlevel 1 goto :update >con echo Could not change working directory to "%~dp0.." >con echo Aborting infrastructure update, no changes have been made. >con $gui_pause + popd exit /b 1 :update |