diff options
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r-- | Build/source/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in index 2221dd05e77..c2791df2a45 100644 --- a/Build/source/Makefile.in +++ b/Build/source/Makefile.in @@ -850,7 +850,7 @@ skip: # Special target to run TRIP and TRAP tests and create diffs. .PHONY: triptrap triptrap: - cd texk/web2c && $(MAKE) $(AM_MAKEFLAGS) $@ + cd texk && $(MAKE) $(AM_MAKEFLAGS) $@ # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. |