From af58a5b25bf296ca944e72a436aafef03b60dab2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Erik=20Hedenstr=C3=B6m?= <erik@codemate.se>
Date: Tue, 18 Mar 2014 11:13:58 +0100
Subject: [PATCH] Added covertool for erlang coverage

---
 install/43_covertool.sh | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 install/43_covertool.sh

diff --git a/install/43_covertool.sh b/install/43_covertool.sh
new file mode 100644
index 0000000..4acf683
--- /dev/null
+++ b/install/43_covertool.sh
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+
+set -e # Exit on errors
+
+. /etc/profile.d/erlang.sh
+. /etc/profile.d/rebar.sh
+
+cd $JENKINS_HOME/tools
+
+git clone git@github.com:idubrov/covertool.git
+cd covertool
+rebar -r update-deps compile escriptize
+mkdir bin
+mv covertool bin
+
+echo "export PATH=$JENKINS_HOME/tools/covertool/bin:\$PATH" > /etc/profile.d/covertool.sh
+chmod 755 /etc/profile.d/covertool.sh
-- 
GitLab