diff options
Diffstat (limited to 'Build/source/Makefile.in')
-rw-r--r-- | Build/source/Makefile.in | 4 |
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: |