@@ -6,6 +6,8 @@ KEY_NAME=debian-arm-us-east-2
66SECURITY_GROUP_ID=sg-086ffbadc286c5c00
77ARTIFACTS="${ARTIFACTS:-build-artifacts-$(date +%s)}"
88
9+STARTTIME=$(date +%H:%M)
10+
911# Spin up an ARM build machine using aws cli, build pandoc, and
1012# download the artifact.
1113#
@@ -96,7 +98,9 @@ scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts"
9698echo "Artifacts saved in $ARTIFACTS"
9799ls "$ARTIFACTS"
98100
99−# Let's see how long this took!
100−uptime
101+ENDTIME=$(date +%H:%M)
102+
103+echo "Started: $STARTTIME"
104+echo "Finished: $ENDTIME"
101105
102106exit 0