blob: 74e48bd53ba350512e4f9f3a03b174797b586c7f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#!/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
echo "=== starting altos build at $(date) ==="
env
echo "======================================="
set -x
./autogen.sh $prefix $android
make -j $(nproc) clean
$time make -j $(nproc) all fat
|
