diff --git a/install/43_covertool.sh b/install/43_covertool.sh
new file mode 100644
index 0000000000000000000000000000000000000000..4acf6838473ad2e163f24607f14404cdbc595ab2
--- /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