diff options
Diffstat (limited to 'Master/tlpkg/bin/c2lx')
| -rwxr-xr-x | Master/tlpkg/bin/c2lx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/c2lx b/Master/tlpkg/bin/c2lx index 183854cde6b..d1b205cab4a 100755 --- a/Master/tlpkg/bin/c2lx +++ b/Master/tlpkg/bin/c2lx @@ -36,7 +36,7 @@ for p in $pkgs; do echo "${label} pkg $p" >&2 # progress report of a sort printf "\f ${label} pkg $p\n" c2l "$@" $p | tee /tmp/c2l.out - sed -n "1,/`printf \f`/p" /tmp/c2l.out >>/tmp/first + sed -n "1,/`printf '\f'`/p" /tmp/c2l.out >>/tmp/first echo >>/tmp/first cat $dirsfile >>$dirsfile.tmp done |