diff options
author | Norbert Preining <preining@logic.at> | 2019-07-22 00:24:51 +0000 |
---|---|---|
committer | Norbert Preining <preining@logic.at> | 2019-07-22 00:24:51 +0000 |
commit | 14f990285390d9690038c3cda9fc0e6501defd00 (patch) | |
tree | 09ce40deaa254e930d3712f0f06bbde5c1f06c34 | |
parent | 6a720dd198e25c4d237c7c2d19aa6496a091ef50 (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
-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 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"); |