commit 121c4fd0aec74f211987601be235d3491987dafd
parent cd088f26608d1a38ddd0807928d8125f90d412c1
Author: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date: Wed, 20 Apr 2016 02:50:41 +0200
tools/cover.pl: Missed argument to cover
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/cover.pl b/tools/cover.pl
@@ -61,4 +61,4 @@ system 'cover', '-write', "cover_db/$build", glob("cover_db/$build.*/cover_db/")
my $output = shift // "cover_db/$build";
-system 'cover', '-outputdir', $output;
+system 'cover', '-outputdir', $output, "cover_db/$build";