diff options
Diffstat (limited to 'Build/source/texk/ptexenc/Makefile.in')
-rw-r--r-- | Build/source/texk/ptexenc/Makefile.in | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Build/source/texk/ptexenc/Makefile.in b/Build/source/texk/ptexenc/Makefile.in index 1aca1351c85..9712115a71f 100644 --- a/Build/source/texk/ptexenc/Makefile.in +++ b/Build/source/texk/ptexenc/Makefile.in @@ -936,7 +936,7 @@ uninstall-am: uninstall-libLTLIBRARIES uninstall-nobase_includeHEADERS $(libptexenc_la_OBJECTS): $(KPATHSEA_DEPEND) @KPATHSEA_RULE@ -rebuild.stamp: +rebuild.stamp: $(rebuild_target) echo timestamp >$@ .PHONY: rebuild @@ -950,8 +950,7 @@ rebuild: $(rebuild_prereq) if test -f rebuild.stamp; then :; else \ $$dry trap 'rm -rf rebuild.lock' 1 2 13 15; \ if $$dry mkdir rebuild.lock 2>/dev/null; then \ - $(MAKE) $(AM_MAKEFLAGS) $(rebuild_target) \ - && echo timestamp >rebuild.stamp; \ + $(MAKE) $(AM_MAKEFLAGS) rebuild.stamp; \ $$dry rmdir rebuild.lock; \ else \ while test -d rebuild.lock && test -z "$$dry"; do sleep 1; done; \ |