diff options
Diffstat (limited to 'Build/source/texk/web2c/metapost.mk')
-rw-r--r-- | Build/source/texk/web2c/metapost.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/metapost.mk b/Build/source/texk/web2c/metapost.mk index 5ee774a44e1..5ae51d805ae 100644 --- a/Build/source/texk/web2c/metapost.mk +++ b/Build/source/texk/web2c/metapost.mk @@ -21,8 +21,8 @@ mpware_sources = mpware/dmp.c mpware/makempx.in mpware/mpto.c mpware/newer.c mp_c = mpini.c mp0.c mp1.c mp2.c mp_o = mpini.o mp0.o mp1.o mp2.o mpextra.o mp-loadpool.o -mp-loadpool.c: mp.pool $(mpostdir)/makecpool - $(mpostdir)/makecpool mp.pool mpdir/mplib.h >$@ +mp-loadpool.c: mp.pool $(makecpool) + $(makecpool) mp.pool mpdir/mplib.h >$@ || rm -f $@ # mpostlibsdep also includes makecpool mpost: $(mp_o) $(mpostlibsdep) $(kpathsea_link) $(mp_o) $(mpostlibs) $(LOADLIBES) |