Add jenkins-ci-build.sh

1 files changed, 25 insertions, 0 deletions

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}