summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mplibdir/mp.w
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2016-10-14 11:04:37 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2016-10-14 11:04:37 +0000
commit05f595957773618d1be9b086a891befabe8a762b (patch)
tree8783c5ae7c69a123dd6ad1a27173c091387a7671 /Build/source/texk/web2c/mplibdir/mp.w
parentfce245d6de903dd8a60e7d1fb2d0ecee1736957c (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.w15
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);
}