sbotools2

commit 38166540acae689303c691230f3775e6a0301753
parent aa3220d5f441ab306a44b883d1ae8639bc51db3f
Author: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date:   Fri,  8 Jul 2016 00:16:28 +0200

tools/cover.pl: filter out irrelevant cover runs

Diffstat:
M
tools/cover.pl
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git 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;