diff options
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 |