sbotools2

commit cf3bfa9e17e38cb5adbc3e3451970333499cb744
parent 2a756f6f23bd7c646dc31f16652cadf159a1129d
Author: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date:   Fri,  1 Apr 2016 21:59:05 +0200

Make tools/cover.pl take a second argument to output the html stats to

Diffstat:
M
tools/cover.pl
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git 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;