diff options
author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-04-24 08:53:53 +0000 |
---|---|---|
committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-04-24 08:53:53 +0000 |
commit | ea36cf4d769e5c6188d49363c8db5a85a7aee35b (patch) | |
tree | 1f49fd6e604c0b7c76fa01453673b21ed26301e3 /Build/source/texk/makejvf | |
parent | e8c2d1b30463b6e6ca0006dddf617e2e12be3781 (diff) |
kpathsea: Avoid an infinite make loop when only mingw32.h or win32lib.h is changed
git-svn-id: svn://tug.org/texlive/trunk@26119 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/makejvf')
0 files changed, 0 insertions, 0 deletions