From e30cf63aefbb293f742cfe4b9949f72241ca98af Mon Sep 17 00:00:00 2001
From: Joshua Boniface <joshua@boniface.me>
Date: Mon, 21 Jan 2019 16:31:42 -0500
Subject: [PATCH] Add helpful time text around platform builds

---
 build | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build b/build
index 5c081af6e5..7d49db72ab 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