diff options
author | Karl Berry <karl@freefriends.org> | 2016-11-02 21:34:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-11-02 21:34:11 +0000 |
commit | 1bcee5c5372991e01be888bcf448b8f41f030f93 (patch) | |
tree | 364144f61e7b9958b116ec27b5459fa6d276a8ec /Master/texmf-dist/web2c | |
parent | 22cdd18a2a6b8bfca945af635e646880edd2914e (diff) |
silent mkdir before reporting mkdir to try to work around race condition, https://bugs.debian.org/794228
git-svn-id: svn://tug.org/texlive/trunk@42425 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/web2c')
0 files changed, 0 insertions, 0 deletions