summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl1
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);
}
}