diff options
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 3128eff7e0..f245765cfe 100644 --- a/.travis.yml +++ b/.travis.yml @@ -165,7 +165,8 @@ matrix: # Check we can build docs and tools (out of tree) - - name: "tools and docs" + - name: "tools and docs (bionic)" + dist: bionic env: - BUILD_DIR="out-of-tree/build/dir" SRC_DIR="../../.." - BASE_CONFIG="--enable-tools --enable-docs" |