mirror of
https://github.com/jgm/pandoc.git
synced 2026-08-28 17:20:47 +08:00
build-arm.sh: remove reference to docker.log.
This commit is contained in:
+2
-2
@@ -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
|
||||
|
||||
Reference in New Issue
Block a user