diff options
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlpdb')
-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; } } |