diff options
Diffstat (limited to 'Build/source/texk/web2c/alephdir')
| -rw-r--r-- | Build/source/texk/web2c/alephdir/ChangeLog | 4 | ||||
| -rw-r--r-- | Build/source/texk/web2c/alephdir/am/aleph.am | 1 |
2 files changed, 5 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/alephdir/ChangeLog b/Build/source/texk/web2c/alephdir/ChangeLog index 3c28402dc92..409cc28298c 100644 --- a/Build/source/texk/web2c/alephdir/ChangeLog +++ b/Build/source/texk/web2c/alephdir/ChangeLog @@ -1,3 +1,7 @@ +2015-07-10 Peter Breitenlohner <peb@mppmu.mpg.de> + + * am/aleph.am: Dependencies for 'make check'. + 2015-06-22 Peter Breitenlohner <peb@mppmu.mpg.de> * am/aleph.am: Use $(tie_c) and $(tie_m). diff --git a/Build/source/texk/web2c/alephdir/am/aleph.am b/Build/source/texk/web2c/alephdir/am/aleph.am index 6de98886fbe..b3845969931 100644 --- a/Build/source/texk/web2c/alephdir/am/aleph.am +++ b/Build/source/texk/web2c/alephdir/am/aleph.am @@ -102,6 +102,7 @@ EXTRA_DIST += \ # Aleph Tests # aleph_tests = alephdir/aleph.test +alephdir/aleph.log: aleph$(EXEEXT) EXTRA_DIST += $(aleph_tests) |