diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-08 11:57:52 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-08 11:57:52 -0800 |
| commit | 7683912591836040c02ec9c25d8207116882e27d (patch) | |
| tree | 6a225fc0ab2211be35a7e8af0b2b1f3c90777baa /tools | |
| parent | f49cd6343a5c67e64d4a7ee4c54616063355d6cf (diff) | |
| download | pandoc-7683912591836040c02ec9c25d8207116882e27d.tar.gz | |
build-arm.sh: fix elapsed time.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build-arm.sh | 8 |
1 files changed, 6 insertions, 2 deletions
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 |