diff options
| author | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-01 21:59:05 +0200 |
|---|---|---|
| committer | Andreas Guldstrand <andreas.guldstrand@gmail.com> | 2016-04-01 21:59:05 +0200 |
| commit | cf3bfa9e17e38cb5adbc3e3451970333499cb744 (patch) | |
| tree | 094910052f86ead3327546f3fe292ae4a6b73aaf /tools/cover.pl | |
| parent | 2a756f6f23bd7c646dc31f16652cadf159a1129d (diff) | |
| download | sbotools2-cf3bfa9e17e38cb5adbc3e3451970333499cb744.tar.xz | |
Make tools/cover.pl take a second argument to output the html stats to
Diffstat (limited to 'tools/cover.pl')
| -rwxr-xr-x | tools/cover.pl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/cover.pl b/tools/cover.pl index 379a17e..c2ac5d0 100755 --- a/tools/cover.pl +++ b/tools/cover.pl @@ -58,3 +58,7 @@ foreach my $build_dir (glob("cover_db/$build.*/")) { } system 'cover', '-write', "cover_db/$build", glob("cover_db/$build.*/cover_db/"); + +my $output = shift // "cover_db/$build"; + +system 'cover', '-outputdir', $output; |