diff options
Diffstat (limited to 'Build/source/texk/Makefile.in')
-rw-r--r-- | Build/source/texk/Makefile.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/Makefile.in b/Build/source/texk/Makefile.in index 23416c579c3..16bb42515af 100644 --- a/Build/source/texk/Makefile.in +++ b/Build/source/texk/Makefile.in @@ -793,6 +793,13 @@ subtexk: $(CONFIG_AUX) @echo "configure in ../auxdir/auxsub failed to create the file $@" exit 1 +# Special target to run TRIP and TRAP tests and create diffs. +.PHONY: triptrap +triptrap: web2c/Makefile + cd web2c && $(MAKE) $(AM_MAKEFLAGS) $@ +web2c/Makefile: + $(MAKE) $(AM_MAKEFLAGS) DIST_SUBTEXK=web2c subtexk + # 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. .NOEXPORT: |