Merge branch 'branch-1.4' into debian

1 files changed, 25 insertions, 0 deletions

diff --git a/jenkins.sh b/jenkins.sh
new file mode 100755
index 00000000..e6cc7da4
--- /dev/null
+++ b/jenkins.sh
@@ -0,0 +1,25 @@
+#!/bin/sh
+# jenkins.sh
+# This script is used by Jenkins to perform a complete rebuild of Altos
+
+
+prefix="--prefix=/usr/local"
+ANDROID_SDK="${ANDROID_SDK:-$HOME/android-sdk-linux}"
+android="--with-android=$ANDROID_SDK"
+# use time if we have it
+time=`which time`
+if [ -n "$time" ]; then
+    time="$time -v"
+fi
+# NOTE: the build process may fail on multi-cpu systems. If it fails try setting cpus=1
+# cpus=$(nproc)
+cpus=1
+
+echo "=== starting altos build at $(date) ==="
+env
+echo "======================================="
+set -x
+
+./autogen.sh $prefix $android
+make -j $cpus clean
+$time make -j $cpus all fat