aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild3
1 files changed, 3 insertions, 0 deletions
diff --git a/build b/build
index 5c081af6e..7d49db72a 100755
--- a/build
+++ b/build
@@ -191,6 +191,7 @@ popd
pushd deployment/
for target_platform in ${platform[@]}; do
echo -e "> Processing platform ${target_platform}"
+ date_start=$( date +%s )
pushd ${target_platform}
for target_action in ${action[@]}; do
echo -e ">> Processing action ${target_action}"
@@ -209,6 +210,8 @@ for target_platform in ${platform[@]}; do
./clean.sh
fi
fi
+ date_end=$( date +%s )
+ echo -e "> Completed platform ${target_platform} in $( expr ${date_end} - ${date_start} ) seconds."
popd
done
popd