diff options
Diffstat (limited to 'Build/tools/RunTPM')
| -rwxr-xr-x | Build/tools/RunTPM | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/Build/tools/RunTPM b/Build/tools/RunTPM deleted file mode 100755 index 7a73a7b8968..00000000000 --- a/Build/tools/RunTPM +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh -M=`cd \`dirname $0\`/.. && /bin/pwd` -T=`cd \`dirname $0\` && /bin/pwd` -perl $T/tpm-factory.pl --master=$M --tpm_dir=$M/texmf-dist/tpm --ftp_dir=/var/tmp \ ---clean \ ---arch=all \ ---patterns=auto \ -$* - |