projects
/
fw
/
altos
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
5eaef0c
)
fix for jenkins.sh
author
Tom Marble
<tmarble@info9.net>
Wed, 28 May 2014 17:50:42 +0000
(12:50 -0500)
committer
Tom Marble
<tmarble@info9.net>
Wed, 28 May 2014 17:50:42 +0000
(12:50 -0500)
jenkins.sh
patch
|
blob
|
history
diff --git
a/jenkins.sh
b/jenkins.sh
index 6d1901c15f0b4e01c607148a1b87abce60fe3822..74e48bd53ba350512e4f9f3a03b174797b586c7f 100755
(executable)
--- a/
jenkins.sh
+++ b/
jenkins.sh
@@
-6,6
+6,11
@@
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
echo "=== starting altos build at $(date) ==="
env
echo "=== starting altos build at $(date) ==="
env
@@
-14,5
+19,4
@@
set -x
./autogen.sh $prefix $android
make -j $(nproc) clean
./autogen.sh $prefix $android
make -j $(nproc) clean
-time make -j $(nproc)
-time make -j $(nproc) fat
+$time make -j $(nproc) all fat