diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-06-22 00:01:29 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-06-22 00:01:29 +0200 |
| commit | d9627a226f6cb00419d7f280978dccb9538297b5 (patch) | |
| tree | 060ee7351482ff7ca1f4b5d54dfe4f5a49aa469d /tools | |
| parent | 0c5d79313ee601bfd731b0f0f6eedbb28f33dabd (diff) | |
| download | sbotools-d9627a226f6cb00419d7f280978dccb9538297b5.tar.xz | |
tools/cover.pl: no need to write the combined cover_db
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/cover.pl | 2 |
1 files changed, 0 insertions, 2 deletions
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/"); |