From 1eb93b57e144bc33683fd9e36dcf52875aabd892 Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <neels@hofmeyr.de>
Date: Mon, 17 Oct 2016 01:46:00 +0200
Subject: [PATCH] add jenkins.sh script for jenkins build job

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

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 0000000..2e1d617
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,14 @@
+#!/usr/bin/env bash
+
+set -ex
+
+base="$PWD"
+deps="$base/deps"
+
+mkdir "$deps" || true
+
+cd "$deps"
+osmo-deps.sh libosmocore
+
+cd "$base"
+$MAKE $PARALLEL_MAKE LIBOSMO_DIR="$deps/libosmocore"