From cf3bfa9e17e38cb5adbc3e3451970333499cb744 Mon Sep 17 00:00:00 2001
From: Andreas Guldstrand <andreas.guldstrand@gmail.com>
Date: Fri, 1 Apr 2016 21:59:05 +0200
Subject: Make tools/cover.pl take a second argument to output the html stats
 to

---
 tools/cover.pl | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'tools')

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;
-- 
cgit v1.2.3