From c386867bafd43cbaa998146e409882cda75a9c80 Mon Sep 17 00:00:00 2001
From: Holger Hans Peter Freyther <holger@moiji-mobile.com>
Date: Wed, 13 Apr 2016 19:00:49 -0400
Subject: jenkins: Add the build script from jenkins here

This can be used to replicate a build issue more easily.
---
 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
-- 
cgit v1.2.3