diff --git a/common/travis/configure.sh b/common/travis/configure.sh index eb609236..1965a2a7 100755 --- a/common/travis/configure.sh +++ b/common/travis/configure.sh @@ -29,4 +29,5 @@ cmake \ -DCMAKE_CXX_FLAGS="${CXXFLAGS}" \ -DCMAKE_BUILD_TYPE="${BUILD_TYPE}" \ -DBUILD_TESTS:BOOL="${BUILD_TESTS:-OFF}" \ + -DBUILD_DOC:BOOL="${BUILD_DOC:-OFF}" \ "${FLAGS[@]}" ..