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.in3
1 files changed, 2 insertions, 1 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index a0db735fb28..aa0d55aefc0 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -343,9 +343,10 @@ EXTRA_DIST = \
@build_kpathsea_FALSE@SUBDIRS = libs utils texk
@build_kpathsea_TRUE@SUBDIRS = texk/kpathsea libs utils texk
DIST_SUBDIRS = auxdir/auxsub texk/kpathsea libs utils texk
+@cross_compiling_FALSE@check_target = check
# Allow for skipping make check if needed.
-check_target = check
+@cross_compiling_TRUE@check_target = skip
all: all-recursive
.SUFFIXES: