74e48bd53ba350512e4f9f3a03b174797b586c7f
[fw/altos] / jenkins.sh
1 #!/bin/sh
2 # jenkins.sh
3 # This script is used by Jenkins to perform a complete rebuild of Altos
4
5
6 prefix="--prefix=/usr/local"
7 ANDROID_SDK="${ANDROID_SDK:-$HOME/android-sdk-linux}"
8 android="--with-android=$ANDROID_SDK"
9 # use time if we have it
10 time=`which time`
11 if [ -n "$time" ]; then
12     time="$time -v"
13 fi
14
15 echo "=== starting altos build at $(date) ==="
16 env
17 echo "======================================="
18 set -x
19
20 ./autogen.sh $prefix $android
21 make -j $(nproc) clean
22 $time make -j $(nproc) all fat