diff options
| -rwxr-xr-x | scripts/travis_helper.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/scripts/travis_helper.sh b/scripts/travis_helper.sh index 0c54e3dd05..ebe1e965b5 100755 --- a/scripts/travis_helper.sh +++ b/scripts/travis_helper.sh @@ -9,4 +9,9 @@ function mapbox_time { travis_fold end "${NAME}" } +export -f travis_fold +export -f travis_time_start +export -f travis_time_finish +export -f travis_nanoseconds +export ANSI_CLEAR export -f mapbox_time |