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 | |
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.
-rw-r--r-- | linux/make_artifacts.sh | 9 | ||||
-rw-r--r-- | tools/build-arm.sh | 2 |
2 files changed, 10 insertions, 1 deletions
diff --git a/linux/make_artifacts.sh b/linux/make_artifacts.sh index b32384ed4..43002218e 100644 --- a/linux/make_artifacts.sh +++ b/linux/make_artifacts.sh @@ -11,6 +11,13 @@ esac ARTIFACTS="${ARTIFACTS:-/artifacts}" +rm $ARTIFACTS/* + +clean_up() { + echo "All done!" > "$ARTIFACTS/DONE" +} +trap clean_up EXIT + # build binaries cabal --version @@ -72,3 +79,5 @@ gzip -9 $TARGET/share/man/man1/pandoc.1 tar cvzf $TARGET-linux-$ARCHITECTURE.tar.gz $TARGET rm -r $TARGET + +exit 0 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 |