summaryrefslogtreecommitdiff
path: root/Build/tools/tpm-delete
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-09-18 13:42:28 +0000
committerKarl Berry <karl@freefriends.org>2006-09-18 13:42:28 +0000
commit6d0e08f40c9ed00bef31751cdb2ccb9d285e1686 (patch)
tree2b391ffb0f89bd5bdd40bb6c103012cb73655723 /Build/tools/tpm-delete
parent7e9e977b49d995819047484c192ca72e79913aff (diff)
semi-update for svn.
git-svn-id: svn://tug.org/texlive/trunk@2154 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/tools/tpm-delete')
-rwxr-xr-xBuild/tools/tpm-delete14
1 files changed, 10 insertions, 4 deletions
diff --git a/Build/tools/tpm-delete b/Build/tools/tpm-delete
index d5f843ca29b..6417c34db1e 100755
--- a/Build/tools/tpm-delete
+++ b/Build/tools/tpm-delete
@@ -24,10 +24,16 @@ for arg in "$@"; do
exit 1
fi
- files=`./Tools/tpm-factory.pl \
+ $mydir/tpm-factory.pl --debug \
--master_dir=$Master --dest_dir=/tmp --ftp_dir=/tmp \
- --dry --remove --name=$type/$arg \
- | sed 's/^would unlink //'`
+ --remove --name=$type/$arg \
+ | sed -e 's/unlinked/svn rm/' \
+ -e 's,/[^/]*$,,' \
+ -e "s,/tpm\$,/tpm/$1.tpm," \
+ >/tmp/tpmrm
+
+ sort -u -o /tmp/tpmrm /tmp/tpmrm
+ sh /tmp/tpmrm
- p4 delete $files
+ # leave svn commit to be done by hand for this time.
done