diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mpost.w')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mpost.w | 10 |
1 files changed, 6 insertions, 4 deletions
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); } - |