diff options
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 |