diff options
Diffstat (limited to 'Master/tlpkg/bin/c2lx')
-rwxr-xr-x | Master/tlpkg/bin/c2lx | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/bin/c2lx b/Master/tlpkg/bin/c2lx index 2832b948cc2..fd61636fca5 100755 --- a/Master/tlpkg/bin/c2lx +++ b/Master/tlpkg/bin/c2lx @@ -43,6 +43,8 @@ else exit 1 fi +echo "`basename $0`: $label pkgs: $pkgs" + for p in $pkgs; do echo "${label} pkg $p" >&2 # progress report of a sort printf "\f ${label} pkg $p\n" |