diff options
Diffstat (limited to 'Master/texmf-dist/scripts')
| -rwxr-xr-x | Master/texmf-dist/scripts/texlive/fmtutil.pl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Master/texmf-dist/scripts/texlive/fmtutil.pl b/Master/texmf-dist/scripts/texlive/fmtutil.pl index 6aeaf0fc8cc..c09d886f2bd 100755 --- a/Master/texmf-dist/scripts/texlive/fmtutil.pl +++ b/Master/texmf-dist/scripts/texlive/fmtutil.pl @@ -330,7 +330,9 @@ sub callback_build_formats { $foo = (($texmfvar =~ m!^//!) ? $tmp_deflt : $texmfvar) . "/temp.$$." . int(rand(1000000)); if (! -d $foo) { - if (mkdir($foo)) { + TeXLive::TLUtils::mkdirhier($foo); + sleep 1; + if (-d $foo) { $tmpdir = $foo; last; } |