From 0c5d79313ee601bfd731b0f0f6eedbb28f33dabd Mon Sep 17 00:00:00 2001
From: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date: Tue, 21 Jun 2016 23:50:33 +0200
Subject: tools/cover.pl don't parse the combined cover_db

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

(limited to 'tools')

diff --git a/tools/cover.pl b/tools/cover.pl
index 4ad7902..0fa5716 100755
--- a/tools/cover.pl
+++ b/tools/cover.pl
@@ -58,7 +58,3 @@ foreach my $build_dir (glob("cover_db/$build.*/")) {
 }
 
 system 'cover', '-write', "cover_db/$build", glob("cover_db/$build.{1,2,3,4,5,6,7,8}/cover_db/");
-
-my $output = shift // "cover_db/$build";
-
-system 'cover', '-outputdir', $output, "cover_db/$build";
-- 
cgit v1.2.3