From d9627a226f6cb00419d7f280978dccb9538297b5 Mon Sep 17 00:00:00 2001
From: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date: Wed, 22 Jun 2016 00:01:29 +0200
Subject: tools/cover.pl: no need to write the combined cover_db

---
 tools/cover.pl | 2 --
 1 file changed, 2 deletions(-)

(limited to 'tools')

diff --git a/tools/cover.pl b/tools/cover.pl
index 0fa5716..92ceae1 100755
--- a/tools/cover.pl
+++ b/tools/cover.pl
@@ -56,5 +56,3 @@ if ($num == 0) {
 foreach my $build_dir (glob("cover_db/$build.*/")) {
 	system '/bin/bash', '-c', "cd $build_dir; tar xvf cover_db.tar";
 }
-
-system 'cover', '-write', "cover_db/$build", glob("cover_db/$build.{1,2,3,4,5,6,7,8}/cover_db/");
-- 
cgit v1.2.3