diff options
-rw-r--r-- | Build/source/texk/web2c/mplibdir/mp.w | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/mplibdir/mp.w b/Build/source/texk/web2c/mplibdir/mp.w index 073f2920b5c..7a4912ac7a1 100644 --- a/Build/source/texk/web2c/mplibdir/mp.w +++ b/Build/source/texk/web2c/mplibdir/mp.w @@ -1,4 +1,4 @@ -% $Id: mp.w 2104 2016-11-28 15:05:04Z luigi $ +% $Id: mp.w 2107 2016-12-15 11:40:15Z luigi $ % % This file is part of MetaPost; % the MetaPost program is in the public domain. @@ -639,6 +639,7 @@ if (mp->start_sym != NULL) { /* insert the `\&{everyjob}' symbol */ extern MP_options *mp_options (void); extern MP mp_initialize (MP_options * opt); extern int mp_status (MP mp); +extern boolean mp_finished (MP mp); extern void *mp_userdata (MP mp); @ @c @@ -648,6 +649,13 @@ int mp_status (MP mp) { @ @c +boolean mp_finished (MP mp) { + return mp->finished; +} + + + +@ @c void *mp_userdata (MP mp) { return mp->userdata; } |