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

This can be used to replicate a build issue more easily.
---
 contrib/jenkins.sh | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100755 contrib/jenkins.sh

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 0000000..7a388c2
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,9 @@
+#!/usr/bin/env bash
+
+set -ex
+
+autoreconf --install --force
+./configure
+$MAKE
+# currently broken $MAKE $PARALLEL_MAKE
+# currently broken $MAKE distcheck
-- 
cgit v1.2.3