diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-03-08 14:51:03 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-08 14:51:03 -0800 |
commit | cac796e1ab4ed170658d9056b27368e30cde3fcb (patch) | |
tree | 6c6b80b743789e5fd2841bf9bdf60c81d0056faa /tools | |
parent | 31ca011e4a927f07a0619c0c73d380d30d2edf77 (diff) | |
download | pandoc-cac796e1ab4ed170658d9056b27368e30cde3fcb.tar.gz |
ARM build script: more reliable detection of completion.
Previously we downloaded the tar.gz before it was complete.
Diffstat (limited to 'tools')
-rw-r--r-- | tools/build-arm.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/build-arm.sh b/tools/build-arm.sh index e413e5437..dc13e1435 100644 --- a/tools/build-arm.sh +++ b/tools/build-arm.sh @@ -86,7 +86,7 @@ do # print last line of log output and free memory $SSH "tail -n1 src/pandoc/docker.log && free -h | grep Mem" # Check to see if the artifact has been produced - $SSH "ls -l src/pandoc/linux/artifacts/*.tar.gz 2>/dev/null" && break + $SSH "ls -l src/pandoc/linux/artifacts/DONE 2>/dev/null" && break done # Retrieve the artifacts |