diff options
| -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; |