diff options
Diffstat (limited to 'Master/tlpkg/bin')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tds | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/ctan2tds b/Master/tlpkg/bin/ctan2tds index fb465d37e83..a2bc449873d 100755 --- a/Master/tlpkg/bin/ctan2tds +++ b/Master/tlpkg/bin/ctan2tds @@ -1733,7 +1733,9 @@ sub runjob { $Jobid="_$$"; &SYSTEM("$job 2> $Jobid.log"); open(TMP,"$Jobid.log") || die("Failed to open $Jobid.log") ; + print "Now (runjob1), filenames is: ", join(", ", @filenames), ".\n"; print ">> $_" while (<TMP>); + print "Now (runjob2), filenames is: ", join(", ", @filenames), ".\n"; close(TMP); unlink "$Jobid.log"; } |