This commit is contained in:
edoapra 2017-11-22 21:42:37 -08:00
parent d5643a3733
commit 48343b13f3
No known key found for this signature in database
GPG key ID: 79CA3F28FF1B91CE

View file

@ -8,7 +8,7 @@ do
sleep 60
if kill -0 "$pid" 2>/dev/null; then
echo ' ==== ' `date` ' ==== '
tail -1 log
tail -1 make.log
elif wait "$pid"; then
break #Abandon the loop.
fi