sbotools2

commit 9e3c5ef7203561422310e1493e72cc7096d6ee1b
parent b3fd39d13518e99d2a65cea7e73fc28b77207387
Author: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date:   Mon, 23 May 2016 18:31:14 +0200

tools/cover.pl: only merge run for a single perl version

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

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