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.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index aa0d55aefc0..2221dd05e77 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -847,6 +847,11 @@ world: all
skip:
.PHONY: skip
+# Special target to run TRIP and TRAP tests and create diffs.
+.PHONY: triptrap
+triptrap:
+ cd texk/web2c && $(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.
.NOEXPORT: