diff options
| author | John MacFarlane <[email protected]> | 2022-08-22 11:11:09 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2022-08-22 11:11:09 -0700 |
| commit | 3040c2c42c3814a2697b0e3dbff1a23389bf8521 (patch) | |
| tree | 42e164fe6622df74f8e2a5bf05e194c80b13d203 /tools | |
| parent | 108f0844ba7151366df4674e54c0f9c85049385e (diff) | |
build-arm.sh: remove reference to docker.log.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/build-arm.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/build-arm.sh b/tools/build-arm.sh index dc275e4b2..51e6ea397 100644 --- a/tools/build-arm.sh +++ b/tools/build-arm.sh @@ -87,8 +87,8 @@ EOF while true do sleep 20 - # print last line of log output and free memory - $SSH "tail -n1 src/pandoc/docker.log && free -h | grep Mem" + # print free memory + free -h | grep Mem" # Check to see if the artifact has been produced $SSH "ls -l src/pandoc/linux/artifacts/DONE 2>/dev/null" && break done |