diff options
author | Karl Berry <karl@freefriends.org> | 2020-04-19 22:23:09 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-04-19 22:23:09 +0000 |
commit | 1b24df9cb00f0f3f504c4e97a84245dbc58b8385 (patch) | |
tree | 7550e3c7e29ae60cdb13e53b2688fce8664fe96f /Master/tlpkg | |
parent | 6135e0174268344cd165465be99f3ce77213eef7 (diff) |
don't debug output every .tlpsrc we have
git-svn-id: svn://tug.org/texlive/trunk@54805 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/bin/tl-update-tlpdb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/tl-update-tlpdb b/Master/tlpkg/bin/tl-update-tlpdb index b517b189b29..18ad22ab247 100755 --- a/Master/tlpkg/bin/tl-update-tlpdb +++ b/Master/tlpkg/bin/tl-update-tlpdb @@ -380,7 +380,8 @@ sub create_tlpdb { if (@ARGV) { # if we have cmd line arguments act as if --tlpsrc-from-cmdline was given. if (!$opt_tlpsrc_from_cmdline) { - debug("$prg: generating tlpdb in /tmp/tlut from tlpsrc args: @ARGV\n"); + debug("$prg: generating tlpdb in /tmp/tlut from tlpsrc args\n"); + ddebug("$prg: @ARGV\n"); $opt_tlpsrc_from_cmdline = 1; } } |