From 7683912591836040c02ec9c25d8207116882e27d Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 8 Mar 2021 11:57:52 -0800
Subject: build-arm.sh: fix elapsed time.

---
 tools/build-arm.sh | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'tools')

diff --git a/tools/build-arm.sh b/tools/build-arm.sh
index 85ebc47d8..e413e5437 100644
--- a/tools/build-arm.sh
+++ b/tools/build-arm.sh
@@ -6,6 +6,8 @@ KEY_NAME=debian-arm-us-east-2
 SECURITY_GROUP_ID=sg-086ffbadc286c5c00
 ARTIFACTS="${ARTIFACTS:-build-artifacts-$(date +%s)}"
 
+STARTTIME=$(date +%H:%M)
+
 # Spin up an ARM build machine using aws cli, build pandoc, and
 # download the artifact.
 #
@@ -96,7 +98,9 @@ scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts"
 echo "Artifacts saved in $ARTIFACTS"
 ls "$ARTIFACTS"
 
-# Let's see how long this took!
-uptime
+ENDTIME=$(date +%H:%M)
+
+echo "Started:  $STARTTIME"
+echo "Finished: $ENDTIME"
 
 exit 0
-- 
cgit v1.2.3