diff options
Diffstat (limited to 'Build/source/texk/web2c/Makefile.am')
-rw-r--r-- | Build/source/texk/web2c/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/Makefile.am b/Build/source/texk/web2c/Makefile.am index 983ac742764..9da3593352f 100644 --- a/Build/source/texk/web2c/Makefile.am +++ b/Build/source/texk/web2c/Makefile.am @@ -76,7 +76,7 @@ web2c/stamp-makecpool: $(web2c_common) ${srcdir}/web2c/makecpool.c # Rebuild $(proglib) $(proglib): ${srcdir}/lib/*.c - cd lib && $(MAKE) $(AM_MAKEFLAGS) + cd lib && $(MAKE) $(AM_MAKEFLAGS) lib.a ## Rebuild libkpathsea @KPATHSEA_RULE@ ## Rebuild libz |