From 176851bbda70db40d269a2e942c1dca69bfbf835 Mon Sep 17 00:00:00 2001
From: Andrea Mazzoleni <amadvance@gmail.com>
Date: Mon, 6 Nov 2017 22:16:21 +0100
Subject: [PATCH] Copy locally the coverage result

---
 maketest.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/maketest.sh b/maketest.sh
index 0c5c18cc..fe59e80a 100755
--- a/maketest.sh
+++ b/maketest.sh
@@ -22,6 +22,8 @@ if ! make lcov_reset check lcov_capture lcov_html; then
 	exit 1
 fi
 
+cp -a cov $SOURCE/cov
+
 if ! make distclean; then
 	exit 1
 fi