diff options
author | Karl Berry <karl@freefriends.org> | 2005-12-28 00:04:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2005-12-28 00:04:28 +0000 |
commit | e6faeef3e4205722d36bbbb86b3b3390ab6527be (patch) | |
tree | b6bf2abd8e881f40beaca430df2e1c34c02c19ab /Master/Tools/Check | |
parent | 577983747d8680b8defbfdd03a9d50bad6fd54b7 (diff) |
trunk
git-svn-id: svn://tug.org/texlive/trunk@5 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/Tools/Check')
-rwxr-xr-x | Master/Tools/Check | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/Master/Tools/Check b/Master/Tools/Check new file mode 100755 index 00000000000..a018592f5cb --- /dev/null +++ b/Master/Tools/Check @@ -0,0 +1,20 @@ +#!/bin/sh +M=`cd \`dirname $0\`/.. && /bin/pwd` +cd `dirname $0` +perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=cov --arch=all --type=Package +perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=cov --arch=all --type=Documentation +perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=cov --arch=all --type=TLCore +# will check coverage +# +# Checking dependencies: +perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=dep --arch=all --type=Package +perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=dep --arch=all --type=Documentation +perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=dep --arch=all --type=TLCore +# will check dependencies +# +# Checking duplicates: +#perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=dup --arch=all --type=Package +#perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=dup --arch=all --type=Documentation +#perl tpm-factory.pl --master=$M --ftp_dir=/tmp --check=dup --arch=all --type=TLCore +# will check duplicate file names + |