diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-07 11:25:46 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2015-07-07 11:25:46 +0000 |
commit | 5fe3004032c3a0ebc518b9de52d3d252e699542b (patch) | |
tree | 5bb07e07b2b1135e4403fe72b891524b3c1891af /Build/source/texk/detex | |
parent | 754e9c2248c33e0f7b6e859f7337789acf742a9d (diff) |
Build system: Better dependencies for 'make check' in utils/*/ and texk/*/
git-svn-id: svn://tug.org/texlive/trunk@37788 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/detex')
-rw-r--r-- | Build/source/texk/detex/ChangeLog | 4 | ||||
-rw-r--r-- | Build/source/texk/detex/Makefile.am | 1 | ||||
-rw-r--r-- | Build/source/texk/detex/Makefile.in | 1 |
3 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/detex/ChangeLog b/Build/source/texk/detex/ChangeLog index 498856c2f85..04f2670b00f 100644 --- a/Build/source/texk/detex/ChangeLog +++ b/Build/source/texk/detex/ChangeLog @@ -1,3 +1,7 @@ +2015-07-07 Peter Breitenlohner <peb@mppmu.mpg.de> + + * Makefile.am: Better dependencies for 'make check'. + 2015-02-16 Peter Breitenlohner <peb@mppmu.mpg.de> * Makefile.am: Use the fragment ../../am/dist_hook.am. diff --git a/Build/source/texk/detex/Makefile.am b/Build/source/texk/detex/Makefile.am index d96edbeae8c..3aa0072c6bb 100644 --- a/Build/source/texk/detex/Makefile.am +++ b/Build/source/texk/detex/Makefile.am @@ -39,6 +39,7 @@ man1_MANS = \ dist_check_SCRIPTS = detex.test TESTS = detex.test +detex.log: detex$(EXEEXT) EXTRA_DIST += test.lout test.tex test.tout diff --git a/Build/source/texk/detex/Makefile.in b/Build/source/texk/detex/Makefile.in index 049abb6dbd5..5ee0d4a01f7 100644 --- a/Build/source/texk/detex/Makefile.in +++ b/Build/source/texk/detex/Makefile.in @@ -1311,6 +1311,7 @@ dist-hook: $(detex_OBJECTS): $(KPATHSEA_DEPEND) @KPATHSEA_RULE@ +detex.log: detex$(EXEEXT) # Tell versions [3.59,3.63) of GNU make to not export all variables. # Otherwise a system limit (for SysV at least) may be exceeded. |