From: Tom Marble <tmarble@info9.net>
Date: Wed, 28 May 2014 17:50:42 +0000 (-0500)
Subject: fix for jenkins.sh
X-Git-Tag: 1.3.2.2~57
X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=commitdiff_plain;h=96ffe5bbd2a1b44ddda6cb25d37d2b0a672045f5;ds=sidebyside

fix for jenkins.sh
---

diff --git a/jenkins.sh b/jenkins.sh
index 6d1901c1..74e48bd5 100755
--- 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"
+# use time if we have it
+time=`which time`
+if [ -n "$time" ]; then
+    time="$time -v"
+fi
 
 echo "=== starting altos build at $(date) ==="
 env
@@ -14,5 +19,4 @@ set -x
 
 ./autogen.sh $prefix $android
 make -j $(nproc) clean
-time make -j $(nproc)
-time make -j $(nproc) fat
+$time make -j $(nproc) all fat