diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2016-10-14 11:04:37 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2016-10-14 11:04:37 +0000 |
commit | 05f595957773618d1be9b086a891befabe8a762b (patch) | |
tree | 8783c5ae7c69a123dd6ad1a27173c091387a7671 /Build/source/texk/web2c/mplibdir/mp.w | |
parent | fce245d6de903dd8a60e7d1fb2d0ecee1736957c (diff) |
mplibdir: sync with the upstream
git-svn-id: svn://tug.org/texlive/trunk@42261 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mp.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index 5a4f574fd08..0ec1c395130 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -1,4 +1,4 @@ -% $Id: mp.w 2095 2016-10-05 13:12:00Z luigi $ +% $Id: mp.w 2096 2016-10-14 09:58:16Z luigi $ % % This file is part of MetaPost; % the MetaPost program is in the public domain. @@ -2263,8 +2263,11 @@ in a row. @ @<Put help message on the transcript file@>= -if (mp->interaction > mp_batch_mode) - decr (mp->selector); /* avoid terminal output */ +if (! mp->noninteractive) { + if (mp->interaction > mp_batch_mode) { + decr (mp->selector); /* avoid terminal output */ + } +} if (mp->use_err_help) { mp_print_nl (mp, ""); @<Print the string |err_help|, possibly on several lines@>; @@ -2274,8 +2277,10 @@ if (mp->use_err_help) { mp_print_nl (mp, help_line[help_ptr]); }; mp_print_ln (mp); - if (mp->interaction > mp_batch_mode) - incr (mp->selector); /* re-enable terminal output */ + if (! mp->noninteractive) { + if (mp->interaction > mp_batch_mode) + incr (mp->selector); /* re-enable terminal output */ + } mp_print_ln (mp); } |