build-arm.sh: retrieve build artifacts after success.
commit75d4bca8628347e15d477a803b8459efcd61314f
authorJohn MacFarlane <jgm@berkeley.edu>
dateSun 7 Mar 2021, 13:27 (6 years ago)
parentc652dcc
tools/build-arm.sh+7
@@ -41,6 +41,7 @@ done
4141# $ ssh -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR
4242
4343SSH="ssh -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR"
44+SCP="scp -r -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR:"
4445
4546echo "Provisioning..."
4647
@@ -79,4 +80,10 @@ do
7980 $SSH "ls -l linux/artifacts/*.tar.gz" && break
8081done
8182
83+# Retrieve the artifacts
8284
85+echo "Successful build. Retrieving artifacts..."
86+
87+$SCP -r src/pandoc/linux/artifacts "arm-build-artifacts-$(date +%s)"
88+
89+exit 0