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.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/Makefile.in b/Build/source/Makefile.in
index 2e9d1e9cf92..7e71a01b7ab 100644
--- a/Build/source/Makefile.in
+++ b/Build/source/Makefile.in
@@ -354,10 +354,10 @@ EXTRA_DIST = \
CONFIG_AUX = subsubdir-conf.cmd
SUBDIRS = . $(TEXLIBS) libs utils texk
DIST_SUBDIRS = auxdir/auxsub $(DIST_TEXLIBS) libs utils texk
-@cross_compiling_FALSE@check_target = check
+@cross_FALSE@check_target = check
# Allow for skipping make check if needed.
-@cross_compiling_TRUE@check_target = skip
+@cross_TRUE@check_target = skip
all: all-recursive
.SUFFIXES: