From d16321801d458909b8c5594060bbdf17456acae2 Mon Sep 17 00:00:00 2001
From: Holger Hans Peter Freyther <holger@moiji-mobile.com>
Date: Wed, 13 Apr 2016 18:47:15 -0400
Subject: jenkins: Add build script used by jenkins on our public CI

The actual script (removed unused and commented out handling) as
invoked by jenkins. This can be used to locally try to reproduce
the build.
---
 contrib/jenkins.sh | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 contrib/jenkins.sh

(limited to 'contrib')

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
new file mode 100755
index 00000000..524fa8b0
--- /dev/null
+++ b/contrib/jenkins.sh
@@ -0,0 +1,6 @@
+#!/usr/bin/env bash
+
+autoreconf --install --force
+./configure --enable-static
+$MAKE $PARALLEL_MAKE
+$MAKE distcheck
-- 
cgit v1.2.3