add jenkins.sh

1 files changed, 18 insertions, 0 deletions

diff --git a/jenkins.sh b/jenkins.sh
new file mode 100755
index 00000000..6d1901c1
--- /dev/null
+++ b/jenkins.sh
@@ -0,0 +1,18 @@
+#!/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"
+
+echo "=== starting altos build at $(date) ==="
+env
+echo "======================================="
+set -x
+
+./autogen.sh $prefix $android
+make -j $(nproc) clean
+time make -j $(nproc)
+time make -j $(nproc) fat