diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-20 02:50:41 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-20 02:51:04 +0200 |
| commit | 121c4fd0aec74f211987601be235d3491987dafd (patch) | |
| tree | 1272a45f2ebba12128a40f7297f5fc9306df44a5 /tools | |
| parent | cd088f26608d1a38ddd0807928d8125f90d412c1 (diff) | |
| download | sbotools2-121c4fd0aec74f211987601be235d3491987dafd.tar.xz | |
tools/cover.pl: Missed argument to cover
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/cover.pl | 2 |
1 files changed, 1 insertions, 1 deletions
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"; |