diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-06-21 23:50:33 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-06-21 23:50:33 +0200 |
| commit | 0c5d79313ee601bfd731b0f0f6eedbb28f33dabd (patch) | |
| tree | 530d4b2f9540ff94ddb1b330798ddcd62f438b95 /tools/cover.pl | |
| parent | 40ad7e4fb3fe119512fa57381e93043b6ffa1226 (diff) | |
| download | sbotools2-0c5d79313ee601bfd731b0f0f6eedbb28f33dabd.tar.xz | |
tools/cover.pl don't parse the combined cover_db
Diffstat (limited to 'tools/cover.pl')
| -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 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"; |