From f6bdf4a410bdb9e797fce5922561b822417c4935 Mon Sep 17 00:00:00 2001
From: Harald Welte <laforge@gnumonks.org>
Date: Sun, 21 Jan 2018 18:30:18 +0100
Subject: [PATCH] Add contrib/jenkins.sh for jenkins.osmocom.org integration

Change-Id: Ie186074b338314e560ccf7f87b17dae2617a0966
---
 contrib/jenkins.sh | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 contrib/jenkins.sh

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 0000000..57da9fa
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+set -ex
+
+autoreconf --install --force
+./configure
+$MAKE $PARALLEL_MAKE