diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-07-08 00:16:28 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-07-08 00:16:28 +0200 |
| commit | 38166540acae689303c691230f3775e6a0301753 (patch) | |
| tree | 6a444953c267391697c5c59dae78ffb3dea8516f /tools | |
| parent | aa3220d5f441ab306a44b883d1ae8639bc51db3f (diff) | |
| download | sbotools-38166540acae689303c691230f3775e6a0301753.tar.xz | |
tools/cover.pl: filter out irrelevant cover runs
Diffstat (limited to 'tools')
| -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 e425992..fcd813f 100755 --- a/tools/cover.pl +++ b/tools/cover.pl @@ -33,7 +33,7 @@ my $bucket = $s3->bucket($ENV{S3_BUCKET}); my $f_iter = $bucket->files( page_size => 100, page_number => 1, - pattern => qr!$base!, + pattern => qr!$base\Q$build.11\E/!, ); my $num = 0; |