add jenkins.sh script for jenkins build job

Change-Id: I6c3d959202f510f0c9780d0fa28c769ea9d721e8
2016-10-17 01:46:00 +02:00 · 2016-10-17 01:46:00 +02:00 · 1eb93b57e1
parent a9b0620119
commit 1eb93b57e1
1 changed files with 14 additions and 0 deletions
--- a/contrib/jenkins.sh
+++ 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"