diff options
Diffstat (limited to 'Build/tools/ctan2tl')
-rwxr-xr-x | Build/tools/ctan2tl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl index 4af6a963c77..b59ce7e1071 100755 --- a/Build/tools/ctan2tl +++ b/Build/tools/ctan2tl @@ -98,7 +98,7 @@ test -d ../cooked || mkdir ../cooked cd ../cooked || exit 1 printf "\n\f cooked\n" find -depth -type d | xargs rmdir 2>/dev/null -find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort +1 +find $pkg \! -type d -printf "%TY%Tm%Td.%TH%TM %p\n" | sort -r +1 # compare to tpm. Master=../../../Master @@ -124,5 +124,7 @@ fi printf "\n\f place $place_chicken\n" rm -rf $pkg.done ../place $place_chicken $pkg +status=$? rm -rf ../raw/$pkg +exit $? |