summaryrefslogtreecommitdiff
path: root/Build/tools/tpm-factory.pl
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2006-12-25 22:38:24 +0000
committerKarl Berry <karl@freefriends.org>2006-12-25 22:38:24 +0000
commit31e145961e52950b4fd8f70b5abcb96340b70fa0 (patch)
tree53e23cb637c8ad1fdb088322b789ceba1d67e5d8 /Build/tools/tpm-factory.pl
parentc363c802edeb55e8b49aab0de0fe332899a5f603 (diff)
look in new perltl top directory
git-svn-id: svn://tug.org/texlive/trunk@2917 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/tools/tpm-factory.pl')
-rwxr-xr-xBuild/tools/tpm-factory.pl1
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/tools/tpm-factory.pl b/Build/tools/tpm-factory.pl
index 3db6593e49f..f5db9a24df5 100755
--- a/Build/tools/tpm-factory.pl
+++ b/Build/tools/tpm-factory.pl
@@ -268,6 +268,7 @@ sub check_coverage {
if ($opt_type eq 'TLCore' || $opt_type eq 'all') {
&walk_dir("$opt_master_dir/texmf", \&collect_files);
&walk_dir("$opt_master_dir/bin", \&collect_files);
+ &walk_dir("$opt_master_dir/perltl", \&collect_files);
&walk_dir("$opt_master_dir/source", \&collect_files);
push @tree_list, "texmf";
}