summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mplibdir
diff options
context:
space:
mode:
authorAkira Kakuto <kakuto@fuk.kindai.ac.jp>2014-12-04 13:53:12 +0000
committerAkira Kakuto <kakuto@fuk.kindai.ac.jp>2014-12-04 13:53:12 +0000
commit74e742df166a6fcdfa02a5545c2717688dee7742 (patch)
tree6968480c43ad1bb459b60ba148966a1d768f1b8f /Build/source/texk/web2c/mplibdir
parent6295724a1b8d877dc127c5d4a4aaaa85b865e053 (diff)
web2c/mplibdir/mpost.w: Luigi fixes exit values to match old metapost behavior
git-svn-id: svn://tug.org/texlive/trunk@35736 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/web2c/mplibdir')
-rw-r--r--Build/source/texk/web2c/mplibdir/ChangeLog5
-rw-r--r--Build/source/texk/web2c/mplibdir/mpost.w10
2 files changed, 11 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/mplibdir/ChangeLog b/Build/source/texk/web2c/mplibdir/ChangeLog
index 1db36e644ac..2b91f635e35 100644
--- a/Build/source/texk/web2c/mplibdir/ChangeLog
+++ b/Build/source/texk/web2c/mplibdir/ChangeLog
@@ -1,3 +1,8 @@
+2014-12-04 Luigi Scarso <luigi.scarso@gmail.com>
+
+ * mpost.w: fixed exit values to match metafont/old metapost behavior.
+ (thanks to Wojciech A. Koszek <wkoszek@freebsd.org>).
+
2014-11-05 Akira Kakuto <kakuto@fuk.kindai.ac.jp>
* psout.w: Sync with the trunk. Luigi fixes to avoid enormous number
diff --git a/Build/source/texk/web2c/mplibdir/mpost.w b/Build/source/texk/web2c/mplibdir/mpost.w
index 2ead2724b28..7c9e24b6053 100644
--- a/Build/source/texk/web2c/mplibdir/mpost.w
+++ b/Build/source/texk/web2c/mplibdir/mpost.w
@@ -1,4 +1,4 @@
-% $Id: mpost.w 2007 2014-04-10 11:13:03Z taco $
+% $Id: mpost.w 2048 2014-12-04 10:26:26Z luigi $
%
% This file is part of MetaPost;
% the MetaPost program is in the public domain.
@@ -1380,13 +1380,15 @@ main (int argc, char **argv)
if (mp==NULL)
exit(EXIT_FAILURE);
history = mp_status(mp);
- if (history!=0)
+ if (history!=0 && history!=mp_warning_issued)
exit(history);
if (set_list!=NULL) {
run_set_list(mp);
}
history = mp_run(mp);
(void)mp_finish(mp);
- exit(history);
+ if (history!=0 && history!=mp_warning_issued)
+ exit(history);
+ else
+ exit(0);
}
-