build-arm.sh: print total build time
commitf8e848094c7fa3eeb3c391ebce8944492671c0da
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 7 Mar 2021, 19:02 (6 years ago)
parent7eb4662
tools/build-arm.sh+3
@@ -92,4 +92,7 @@ echo "Successful build. Retrieving artifacts..."
9292
9393scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts" "arm-build-artifacts-$(date +%s)"
9494
95+# Let's see how long this took!
96+uptime
97+
9598exit 0