diff options
author | Karl Berry <karl@freefriends.org> | 2016-02-17 21:47:29 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2016-02-17 21:47:29 +0000 |
commit | cc98b7024a5a1b004e236640a48c1637bb44da29 (patch) | |
tree | 54c77b35e77b23f764b7d30e8958f716201661a3 /Master/tlpkg/bin/check-fmttriggers | |
parent | 3e1886523a125f33ae18ba71a6d2eed5de2e293e (diff) |
sync
git-svn-id: svn://tug.org/texlive/trunk@39758 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin/check-fmttriggers')
-rwxr-xr-x | Master/tlpkg/bin/check-fmttriggers | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/check-fmttriggers b/Master/tlpkg/bin/check-fmttriggers index 50fffe8b225..f20711a0ecc 100755 --- a/Master/tlpkg/bin/check-fmttriggers +++ b/Master/tlpkg/bin/check-fmttriggers @@ -50,6 +50,9 @@ exit (&main()); sub main { + # no interference from TEXMFHOME, please. + $ENV{'TEXMFHOME'} = "/nonesuch"; + if ($opt_rerecord) { # remake recorder files? my $status = &run_fmtutil ($opt_fmtdir); return $status if $status; |