From 0d768664779cc2ea816e58a9de661edc702f06fa Mon Sep 17 00:00:00 2001
From: Christoph Schlosser <christoph@linux.com>
Date: Tue, 20 Feb 2018 23:25:35 +0100
Subject: Add coverage

---
 publish_coverage.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 publish_coverage.sh

(limited to 'publish_coverage.sh')

diff --git a/publish_coverage.sh b/publish_coverage.sh
new file mode 100755
index 0000000..bc72484
--- /dev/null
+++ b/publish_coverage.sh
@@ -0,0 +1,7 @@
+#!/bin/bash
+
+if [ -d "coverage" ]; then
+  bash <(curl -s https://codecov.io/bash)
+else
+  echo "No coverage generated. Skipping upload."
+fi
\ No newline at end of file
-- 
cgit v1.2.3