about summary refs log tree commit diff
path: root/src/ci
diff options
context:
space:
mode:
Diffstat (limited to 'src/ci')
-rwxr-xr-xsrc/ci/run.sh6
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