try to rm travis_out more frequently, and when the time is HH:MM:30, echo a dot (this makes sure we only echo at most one dot per minute if necessary)
try to rm travis_out more frequently, and when the time is HH:MM:30, echo a dot (this makes sure we only echo at most one dot per minute if necessary)

yihui/crandalf,yihui/crandalf