diff options
Diffstat (limited to 'Build/source/texk/web2c/mplibdir/am/mplib.am')
-rw-r--r-- | Build/source/texk/web2c/mplibdir/am/mplib.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/mplibdir/am/mplib.am b/Build/source/texk/web2c/mplibdir/am/mplib.am index 3c6cde68baa..85f41ec6ac0 100644 --- a/Build/source/texk/web2c/mplibdir/am/mplib.am +++ b/Build/source/texk/web2c/mplibdir/am/mplib.am @@ -36,9 +36,9 @@ uninstall-mpost-links: endif WIN32 # Creating one file: just one rule -mp_ctangle = CWEBINPUTS=$(srcdir)/mplibdir $(ctangle) +mp_ctangle = $(ctangle_silent)CWEBINPUTS=$(srcdir)/mplibdir $(ctangle) # Creating several files: need stamp file and two rules with identical recipes -mp_ctangle_sh = CWEBINPUTS=$(srcdir)/mplibdir $(SHELL) ./tangle-sh $@ $(CTANGLE) +mp_ctangle_sh = CWEBINPUTS=$(srcdir)/mplibdir AM_V_P=$(AM_V_P) $(SHELL) ./tangle-sh $@ $(CTANGLE) ## MetaPost C sources nodist_mpost_SOURCES = mpost.c $(mpxout_c_h) |