From 38166540acae689303c691230f3775e6a0301753 Mon Sep 17 00:00:00 2001
From: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date: Fri, 8 Jul 2016 00:16:28 +0200
Subject: tools/cover.pl: filter out irrelevant cover runs

---
 tools/cover.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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;
-- 
cgit v1.2.3