summaryrefslogtreecommitdiff
path: root/Master/texmf-dist
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2019-07-22 00:24:51 +0000
committerNorbert Preining <preining@logic.at>2019-07-22 00:24:51 +0000
commit14f990285390d9690038c3cda9fc0e6501defd00 (patch)
tree09ce40deaa254e930d3712f0f06bbde5c1f06c34 /Master/texmf-dist
parent6a720dd198e25c4d237c7c2d19aa6496a091ef50 (diff)
tlmgr/win32/platform: return error to not run post actions
git-svn-id: svn://tug.org/texlive/trunk@51702 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist')
-rwxr-xr-xMaster/texmf-dist/scripts/texlive/tlmgr.pl3
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 2066b34ad22..9317ce6b845 100755
--- a/Master/texmf-dist/scripts/texlive/tlmgr.pl
+++ b/Master/texmf-dist/scripts/texlive/tlmgr.pl
@@ -4798,7 +4798,8 @@ sub action_platform {
dviout.win32 wintools.win32/;
if ($^O =~ /^MSWin/i) {
warn("action `platform' not supported on Windows\n");
- return ($F_WARNING);
+ # return an error here so that we don't go into post-actions
+ return ($F_ERROR);
}
if ($opts{"usermode"}) {
tlwarn("$prg: action `platform' not supported in usermode\n");