summaryrefslogtreecommitdiff
path: root/Build/tools
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools')
-rwxr-xr-xBuild/tools/ctan2tl10
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