diff options
Diffstat (limited to 'Build/tools')
-rwxr-xr-x | Build/tools/ctan2tl | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/Build/tools/ctan2tl b/Build/tools/ctan2tl index b5032e76f33..4af6a963c77 100755 --- a/Build/tools/ctan2tl +++ b/Build/tools/ctan2tl @@ -17,10 +17,10 @@ test -d $raw || mkdir $raw cd $raw || exit 1 if test "x$1" = x--place; then - place=true + place_chicken= shift else - place=false + place_chicken=-n fi if test "x$1" = x--no-ctan; then @@ -121,10 +121,8 @@ else comm -3 /tmp/pkgfiles.tpm /tmp/pkgfiles.tl fi -$place || exit 0 - -printf "\n\f place\n" +printf "\n\f place $place_chicken\n" rm -rf $pkg.done -../place $pkg +../place $place_chicken $pkg rm -rf ../raw/$pkg |