diff options
author | Karl Berry <karl@freefriends.org> | 2022-03-20 21:13:02 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2022-03-20 21:13:02 +0000 |
commit | 0f9b73b01a01a362d8915f8d176823c09d7bcfe0 (patch) | |
tree | f93896fa2b1ea18853b4be076c8ff1a15a6fad37 /Master/tlpkg/bin | |
parent | 20169557daa4e06791762e79d98f6358b3f1dd89 (diff) |
jxu (20mar22)
git-svn-id: svn://tug.org/texlive/trunk@62833 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/tlpkg/bin')
-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" |