diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-07 20:55:52 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-07 20:58:36 -0800 |
commit | 459085c64282ac6084ecc6c35ac942d1eae5d3fe (patch) | |
tree | 6677da29149c4210a2ab8eb25b4288dcc1f70c5e /tools | |
parent | f8e848094c7fa3eeb3c391ebce8944492671c0da (diff) | |
download | pandoc-459085c64282ac6084ecc6c35ac942d1eae5d3fe.tar.gz |
build-arm.sh: env variable for ARTIFACTS.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/build-arm.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/tools/build-arm.sh b/tools/build-arm.sh index c9ee33e20..85ebc47d8 100644 --- a/tools/build-arm.sh +++ b/tools/build-arm.sh @@ -4,6 +4,7 @@ IMAGE_ID=ami-0fa8979d18f69948b INSTANCE_TYPE=t4g.2xlarge KEY_NAME=debian-arm-us-east-2 SECURITY_GROUP_ID=sg-086ffbadc286c5c00 +ARTIFACTS="${ARTIFACTS:-build-artifacts-$(date +%s)}" # Spin up an ARM build machine using aws cli, build pandoc, and # download the artifact. @@ -90,7 +91,10 @@ done echo "Successful build. Retrieving artifacts..." -scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts" "arm-build-artifacts-$(date +%s)" +scp -i "$HOME/.ssh/$KEY_NAME.pem" -r "admin@$IPADDR:src/pandoc/linux/artifacts" "$ARTIFACTS" + +echo "Artifacts saved in $ARTIFACTS" +ls "$ARTIFACTS" # Let's see how long this took! uptime |