diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-07 13:27:11 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-07 13:27:55 -0800 |
| commit | 75d4bca8628347e15d477a803b8459efcd61314f (patch) | |
| tree | bee01b0c1af5167e00ba2f0c582307227b61ade3 /tools | |
| parent | c652dcc16b208954ab30a27b1c72a889b20ef2e9 (diff) | |
| download | pandoc-75d4bca8628347e15d477a803b8459efcd61314f.tar.gz | |
build-arm.sh: retrieve build artifacts after success.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build-arm.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/tools/build-arm.sh b/tools/build-arm.sh index a9a794ef6..7bd04477c 100644 --- a/tools/build-arm.sh +++ b/tools/build-arm.sh @@ -41,6 +41,7 @@ done # $ ssh -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR SSH="ssh -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR" +SCP="scp -r -i ~/.ssh/debian-arm-us-east-2.pem admin@$IPADDR:" echo "Provisioning..." @@ -79,4 +80,10 @@ do $SSH "ls -l linux/artifacts/*.tar.gz" && break done +# Retrieve the artifacts +echo "Successful build. Retrieving artifacts..." + +$SCP -r src/pandoc/linux/artifacts "arm-build-artifacts-$(date +%s)" + +exit 0 |