diff options
author | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2016-12-16 00:09:28 +0000 |
---|---|---|
committer | Akira Kakuto <kakuto@fuk.kindai.ac.jp> | 2016-12-16 00:09:28 +0000 |
commit | ebf7c25ec70ed59c6791c85b53b8ddbb418e2c82 (patch) | |
tree | bbaa382cabd9fad2aee503c3802d805ed74a0c18 | |
parent | acb9378db1e2d2d048a78fcba89d6fb7920fddc8 (diff) |
mplibdir: sync with the upstream
git-svn-id: svn://tug.org/texlive/trunk@42716 c570f23f-e606-0410-a88d-b1316a301751
-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; } |