diff options
Diffstat (limited to 'scripts/travis_helper.sh')
-rwxr-xr-x | scripts/travis_helper.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/scripts/travis_helper.sh b/scripts/travis_helper.sh new file mode 100755 index 0000000000..0a2aab663d --- /dev/null +++ b/scripts/travis_helper.sh @@ -0,0 +1,10 @@ +#!/usr/bin/env bash + +function mapbox_time { + local NAME=$1 ; shift + travis_fold start "${NAME}" + travis_time_start + "$@" + travis_time_finish + travis_fold end "${NAME}" +} |