From 3ffefb663cf1a5df226481ed0635e20eca093bb3 Mon Sep 17 00:00:00 2001
From: Tim Angus <tim.angus@roslin.ed.ac.uk>
Date: Thu, 21 Mar 2013 15:49:47 +0000
Subject: [PATCH] Add jenkins-ci-build.sh

---
 jenkins-ci-build.sh | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100755 jenkins-ci-build.sh

diff --git a/jenkins-ci-build.sh b/jenkins-ci-build.sh
new file mode 100755
index 00000000..eb09a37a
--- /dev/null
+++ b/jenkins-ci-build.sh
@@ -0,0 +1,25 @@
+#!/bin/bash
+
+MASTER_DIR=`dirname $0`
+cd ${MASTER_DIR}
+
+if [ "$OPTIONS" = "all_options" ];
+then
+    export USE_CODEC_VORBIS=1
+    export USE_FREETYPE=1
+fi
+
+if [ "$PLATFORM" = "mingw32" ];
+then
+	MAKE=./cross-make-mingw.sh
+else
+	MAKE=make
+fi
+
+CORES=`awk '/^processor/ { N++} END { print N }' /proc/cpuinfo`
+
+# Default Build
+($MAKE -j${CORES} clean ${BUILD_TYPE})
+SUCCESS=$?
+
+exit ${SUCCESS}