diff options
Diffstat (limited to 'Build/source/texk/Makefile.in')
-rw-r--r-- | Build/source/texk/Makefile.in | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Build/source/texk/Makefile.in b/Build/source/texk/Makefile.in index 869650da7ce..86f31f14036 100644 --- a/Build/source/texk/Makefile.in +++ b/Build/source/texk/Makefile.in @@ -672,7 +672,13 @@ dist-hook: all-local: subtexk .PHONY: subtexk - +# We must configure all texk subdirs since 'make dist' needs the Makefile. +# For those not required for the current set of configure options +# we append '--disable-build' so they can skip tests that would +# fail because, e.g., some required libraries were not built. +# +# Sequentially configure and optionally build all texk subdirs; +# code inspired by automake's way to handle recursive targets. subtexk: $(noinst_DATA) @failcom='exit 1'; \ for f in x $$MAKEFLAGS; do \ |