From 3b90fdbba17d62d7007157124792f227debd4960 Mon Sep 17 00:00:00 2001
From: Harald Welte <laforge@osmocom.org>
Date: Mon, 21 Feb 2022 21:11:14 +0100
Subject: [PATCH] add contrib/jenkins.sh for jenkins.osmocom.org build
 verification

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

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 0000000..efdbb42
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,33 @@
+#!/bin/sh
+# jenkins build helper script for dahdi-tools.  This is how we build on jenkins.osmocom.org
+
+if ! [ -x "$(command -v osmo-build-dep.sh)" ]; then
+	echo "Error: We need to have scripts/osmo-deps.sh from http://git.osmocom.org/osmo-ci/ in PATH !"
+	exit 2
+fi
+
+set -ex
+
+base="$PWD"
+deps="$base/deps"
+inst="$deps/install"
+export deps inst
+
+osmo-clean-workspace.sh
+
+mkdir "$deps" || true
+
+cd "$deps"
+if [ -d dahdi-linux ]; then
+	(cd dahdi-linux && git fetch && git checkout -f -B master origin/master)
+else
+	git clone https://git.osmocom.org/dahdi-linux
+fi
+
+cd $base
+
+autoreconf -fi
+./configure --with-dahdi="$deps/dahdi-linux"
+$MAKE $PARALLEL_MAKE
+
+osmo-clean-workspace.sh