summaryrefslogtreecommitdiff
path: root/Build/tools
diff options
context:
space:
mode:
Diffstat (limited to 'Build/tools')
-rwxr-xr-xBuild/tools/tpm-factory.pl2
1 files changed, 0 insertions, 2 deletions
diff --git a/Build/tools/tpm-factory.pl b/Build/tools/tpm-factory.pl
index bde2a019241..3db6593e49f 100755
--- a/Build/tools/tpm-factory.pl
+++ b/Build/tools/tpm-factory.pl
@@ -167,7 +167,6 @@ sub do_tree {
while (<$tree/tpm/*.tpm>) {
my $tpmname = $_;
next if ($tpmname =~ m/~$/); # for emacs backups!
-# next if ($tree =~ /texmf$/ && $tpmname =~ m/xemtex/);
# next if ($tpmname =~ m/-static/ && ! $opt_standalone);
$tpmname =~ s@^${tree}/tpm/@@;
print "Doing $tree/tpm/$tpmname\n" if ($opt_verbose);
@@ -269,7 +268,6 @@ 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/xemtex", \&collect_files);
&walk_dir("$opt_master_dir/source", \&collect_files);
push @tree_list, "texmf";
}