diff options
author | Karl Berry <karl@freefriends.org> | 2006-02-13 00:49:47 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2006-02-13 00:49:47 +0000 |
commit | 045f872c421bb96d9e680ccd7f79c823cef10521 (patch) | |
tree | 20483574ec8846ce1adb25e905f4a0b4e2505a41 /Build/tools/tpm-check | |
parent | a1e47d103e66e2a947105dd7378e8df3918c3f62 (diff) |
move Master/Tools to Build/tools
git-svn-id: svn://tug.org/texlive/trunk@1514 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/tools/tpm-check')
-rwxr-xr-x | Build/tools/tpm-check | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/Build/tools/tpm-check b/Build/tools/tpm-check new file mode 100755 index 00000000000..f008cc26cf7 --- /dev/null +++ b/Build/tools/tpm-check @@ -0,0 +1,36 @@ +#!/bin/sh +# $Id$ +# Public domain. Originally written 2004, Karl Berry. +# Do TPM sanity checks. + +mydir=`dirname $0` +master=`cd $mydir/.. && pwd` +tools=$master/Tools + +# if get an XML syntax error, set to --debug to see which .tpm it comes from. +verbose=${OVERRIDE_VERBOSE-} + +if test "x$1" = x--type; then + shift + type=$1 + shift +else + type=all +fi + +test $# -eq 0 && set - dep cov + +for check in "$@"; do # around 1300 dup's, so don't bother with that one + printf "\f\n" + echo "$0: checking $check..." + perl $tools/tpm-factory.pl $verbose \ + --master_dir=$master --ftp_dir=/tmp/ \ + --check=$check --arch=all --type=$type +done + +# Without --clean, buildPatternsPackage (for example) doesn't get called. +# With --clean, all tpm's need to be rw. +# Therefore, the procedure is: change code, +# run update-tpm TLCore (or whatever), +# run tpm-check cov (or whatever). +# Painful. |