diff options
Diffstat (limited to 'Build/source/Makefile.in')
| -rw-r--r-- | Build/source/Makefile.in | 4 |
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 |