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