3 # This script is used by Jenkins to perform a complete rebuild of Altos
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
11 if [ -n "$time" ]; then
15 echo "=== starting altos build at $(date) ==="
17 echo "======================================="
20 ./autogen.sh $prefix $android
21 make -j $(nproc) clean
22 $time make -j $(nproc) all fat