summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pmpostdir/pmpxout.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pmpostdir/pmpxout.ch')
-rw-r--r--Build/source/texk/web2c/pmpostdir/pmpxout.ch10
1 files changed, 10 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pmpostdir/pmpxout.ch b/Build/source/texk/web2c/pmpostdir/pmpxout.ch
index 0f4acf0f524..eda77848972 100644
--- a/Build/source/texk/web2c/pmpostdir/pmpxout.ch
+++ b/Build/source/texk/web2c/pmpostdir/pmpxout.ch
@@ -402,6 +402,16 @@ case z0: case four_cases(z1):
@z
@x
+ mpx->progname = "dvitomp";
+@y
+#ifdef UPMP
+ mpx->progname = "updvitomp";
+#else
+ mpx->progname = "pdvitomp";
+#endif
+@z
+
+@x
@<Check if mp file is newer than mpxfile, exit if not@>=
if (mpx_newer(mpxopt->mpname, mpxopt->mpxname))
return 0