diff options
Diffstat (limited to 'Master/tlpkg/bin/ctan2tl')
-rwxr-xr-x | Master/tlpkg/bin/ctan2tl | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Master/tlpkg/bin/ctan2tl b/Master/tlpkg/bin/ctan2tl index e685d4ba9c9..7eceea51f1d 100755 --- a/Master/tlpkg/bin/ctan2tl +++ b/Master/tlpkg/bin/ctan2tl @@ -129,7 +129,8 @@ cd $cooked || exit 1 printf "\n\f cooked\n" find $pkg -name TDS_READY -exec rm '{}' \; # remove sentinel file find -depth -type d | xargs rmdir 2>/dev/null # remove empty directories -find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -k2 +find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -k2 \ +| tee ${TMPDIR-/tmp}/ctan2tl.files printf "\n$0: calling place $place_chicken $pkg\n" rm -rf $pkg.done |