diff options
Diffstat (limited to 'Master/tlpkg/bin/tlpsrc2tlpdb')
| -rwxr-xr-x | Master/tlpkg/bin/tlpsrc2tlpdb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tlpsrc2tlpdb b/Master/tlpkg/bin/tlpsrc2tlpdb index 127e365bc5d..a4ed29728f9 100755 --- a/Master/tlpkg/bin/tlpsrc2tlpdb +++ b/Master/tlpkg/bin/tlpsrc2tlpdb @@ -50,7 +50,7 @@ sub main die "$0: Master $opt_master not a directory, goodbye.\n"; } if (defined($opt_winwarning)) { - $::win_pattern_warn = 1; + $::tlpsrc_pattern_warn_win = 1; } my $tlc = undef; if (! -d $opt_catalogue) { |