From 4d560841b1192d35726a6280366d9a09eb8e399d Mon Sep 17 00:00:00 2001
From: Oliver Smith <osmith@sysmocom.de>
Date: Tue, 14 Jan 2020 15:29:38 +0100
Subject: [PATCH] contrib/jenkins.sh: new file

Related: OS#4345
Change-Id: Ifa6c846ec002ad748185ba5da7108a67a9367786
---
 contrib/jenkins.sh | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100755 contrib/jenkins.sh

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 0000000..efd44b1
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,5 @@
+#!/bin/sh -ex
+
+export REBAR_COLOR=none
+rebar3 compile
+rebar3 eunit