diff options
-rwxr-xr-x | Master/texmf-dist/scripts/texlive/tlmgr.pl | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Master/texmf-dist/scripts/texlive/tlmgr.pl b/Master/texmf-dist/scripts/texlive/tlmgr.pl index 696cc400cf3..85f2bc4fd74 100755 --- a/Master/texmf-dist/scripts/texlive/tlmgr.pl +++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl @@ -1841,6 +1841,7 @@ sub action_restore { } } else { print "revision $rev for $pkg is not present in $opts{'backupdir'}\n"; + finish(1); } } |