diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/cover.pl | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/tools/cover.pl b/tools/cover.pl index 92ceae1..e425992 100755 --- a/tools/cover.pl +++ b/tools/cover.pl @@ -52,7 +52,3 @@ while (my @files = $f_iter->next_page) { if ($num == 0) { die "No files found for build number $build.\n"; } - -foreach my $build_dir (glob("cover_db/$build.*/")) { - system '/bin/bash', '-c', "cd $build_dir; tar xvf cover_db.tar"; -} |