summaryrefslogtreecommitdiff
path: root/Build/source/Makefile.in
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r--Build/source/Makefile.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index 3e73eb1fa87..27955dc7cc4 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -831,12 +831,12 @@ dist-hook:
# at install-data, and fmtutil.cnf won't be there at install-exec,
# and there is no install-hook or install-local.
world: all
- @echo "top-level make $@: running $(check_target)..."
- $(MAKE) $(AM_MAKEFLAGS) $(check_target)
@echo "top-level make $@: running install-strip..."
$(MAKE) $(AM_MAKEFLAGS) install-strip
@echo "top-level make $@: running texlinks in texk/tetex..."
cd texk/tetex && $(MAKE) $(AM_MAKEFLAGS) run-texlinks
+ @echo "top-level make $@: running $(check_target)..."
+ $(MAKE) $(AM_MAKEFLAGS) $(check_target)
@echo "make $@ done."
skip:
.PHONY: skip