forget about the sed hack; do not redirect stderr to stdout
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 updated branch pkg/knitr Mon Oct  6 01:37:39 CDT 2014