From 5eaef0c98488fa3fbd3a6494dc15e1b793eb6f94 Mon Sep 17 00:00:00 2001
From: Tom Marble <tmarble@info9.net>
Date: Wed, 28 May 2014 12:38:36 -0500
Subject: [PATCH] add jenkins.sh

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

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
-- 
2.30.2