diff options
author | Karl Berry <karl@freefriends.org> | 2006-09-18 13:42:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-09-18 13:42:28 +0000 |
commit | 6d0e08f40c9ed00bef31751cdb2ccb9d285e1686 (patch) | |
tree | 2b391ffb0f89bd5bdd40bb6c103012cb73655723 /Build | |
parent | 7e9e977b49d995819047484c192ca72e79913aff (diff) |
semi-update for svn.
git-svn-id: svn://tug.org/texlive/trunk@2154 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rwxr-xr-x | Build/tools/tpm-delete | 14 |
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 |