diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-12-04 13:53:12 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2014-12-04 13:53:12 +0000 |
commit | 74e742df166a6fcdfa02a5545c2717688dee7742 (patch) | |
tree | 6968480c43ad1bb459b60ba148966a1d768f1b8f /Build/source/texk/web2c/mplibdir | |
parent | 6295724a1b8d877dc127c5d4a4aaaa85b865e053 (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/ChangeLog | 5 | ||||
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mpost.w | 10 |
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); } - |