diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-05-23 18:31:14 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-05-23 18:31:14 +0200 |
| commit | 9e3c5ef7203561422310e1493e72cc7096d6ee1b (patch) | |
| tree | 4c9cf56ba8359abeee3adacc8a059e0b1a6c747b | |
| parent | b3fd39d13518e99d2a65cea7e73fc28b77207387 (diff) | |
| download | sbotools2-9e3c5ef7203561422310e1493e72cc7096d6ee1b.tar.xz | |
tools/cover.pl: only merge run for a single perl version
| -rwxr-xr-x | tools/cover.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/cover.pl b/tools/cover.pl index c22d48b..4ad7902 100755 --- a/tools/cover.pl +++ b/tools/cover.pl @@ -57,7 +57,7 @@ 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.*/cover_db/"); +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"; |