From 121c4fd0aec74f211987601be235d3491987dafd Mon Sep 17 00:00:00 2001 From: Andreas Guldstrand Date: Wed, 20 Apr 2016 02:50:41 +0200 Subject: tools/cover.pl: Missed argument to cover --- tools/cover.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'tools/cover.pl') diff --git a/tools/cover.pl b/tools/cover.pl index c2ac5d0..c22d48b 100755 --- 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"; -- cgit v1.2.3