summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/mplibdir/mp.w
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/mp.w')
-rw-r--r--Build/source/texk/web2c/mplibdir/mp.w10
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;
}