travis-ci/travis-build — pull request #263 by henrikhodne (2014-07-09 10:40:22+00:00)
Title: Add timing information for commands

This supersedes #199.

I changed the implementation to use the Bash `time` keyword, which allows us to do less fudging around with the exit codes and `TRAVIS_CMD`.