diff options
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/run.sh | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ci/run.sh b/src/ci/run.sh index 549e804603c..ccf0bb1ffb7 100755 --- a/src/ci/run.sh +++ b/src/ci/run.sh @@ -74,6 +74,12 @@ retry make prepare travis_fold end make-prepare travis_time_finish +travis_fold start check-bootstrap +travis_time_start +make check-bootstrap +travis_fold end check-bootstrap +travis_time_finish + if [ "$TRAVIS_OS_NAME" = "osx" ]; then ncpus=$(sysctl -n hw.ncpu) else |
