Add helpful time text around platform builds

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