aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rwxr-xr-xtools/cover.pl4
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";
-}