projects
/
fw
/
altos
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
altos/lisp: add length, pack, unpack and flush
[fw/altos]
/
jenkins.sh
diff --git
a/jenkins.sh
b/jenkins.sh
index 6d1901c15f0b4e01c607148a1b87abce60fe3822..e6cc7da43fa21952955fe32249eadd34e9bfeb44 100755
(executable)
--- a/
jenkins.sh
+++ b/
jenkins.sh
@@
-6,6
+6,14
@@
prefix="--prefix=/usr/local"
ANDROID_SDK="${ANDROID_SDK:-$HOME/android-sdk-linux}"
android="--with-android=$ANDROID_SDK"
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
+# NOTE: the build process may fail on multi-cpu systems. If it fails try setting cpus=1
+# cpus=$(nproc)
+cpus=1
echo "=== starting altos build at $(date) ==="
env
echo "=== starting altos build at $(date) ==="
env
@@
-13,6
+21,5
@@
echo "======================================="
set -x
./autogen.sh $prefix $android
set -x
./autogen.sh $prefix $android
-make -j $(nproc) clean
-time make -j $(nproc)
-time make -j $(nproc) fat
+make -j $cpus clean
+$time make -j $cpus all fat