summaryrefslogtreecommitdiff
path: root/Master/tlpkg/bin/tl-update-tlpdb
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg/bin/tl-update-tlpdb')
-rwxr-xr-xMaster/tlpkg/bin/tl-update-tlpdb3
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;
}
}