diff options
author | Richard Levitte <levitte@openssl.org> | 2017-10-31 11:42:40 +0100 |
---|---|---|
committer | Richard Levitte <levitte@openssl.org> | 2017-10-31 12:31:41 +0100 |
commit | bb0c588ab2c6dae55bb8adbcf72cab3bca390e0f (patch) | |
tree | c7a9170d32fef957d6802e2fe07fe91b7cef905b | |
parent | df45d1a0410f6c51cb7ecb0af1b62f50da1b6429 (diff) |
Travis: Add a docs checking job
Reviewed-by: Rich Salz <rsalz@openssl.org>
(Merged from https://github.com/openssl/openssl/pull/4631)
-rw-r--r-- | .travis.yml | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/.travis.yml b/.travis.yml index 56be83393e..ba2b537218 100644 --- a/.travis.yml +++ b/.travis.yml @@ -28,6 +28,7 @@ env: - CONFIG_OPTS="no-engine no-shared --strict-warnings" BUILDONLY="yes" - CONFIG_OPTS="no-stdio --strict-warnings" BUILDONLY="yes" - CONFIG_OPTS="no-ec" BUILDONLY="yes" + - CONFIG_OPTS="no-asm --strict-warnings" BUILDONLY="yes" CHECKDOCS="yes" matrix: include: @@ -158,10 +159,17 @@ script: echo -e '+\057 MAKE UPDATE FAILED'; false; fi; git diff --quiet + - if [ -n "$CHECKDOCS" ]; then + if $make doc-nits; then + echo -e '+\057\057 MAKE DOC-NITS OK'; + else + echo -e '+\057\057 MAKE DOC-NITS FAILED'; false; + fi; + fi - if $make ; then - echo -e '+\057\057 MAKE OK'; + echo -e '+\057\057\057 MAKE OK'; else - echo -e '+\057\057 MAKE FAILED'; false; + echo -e '+\057\057\057 MAKE FAILED'; false; fi; - if [ -z "$BUILDONLY" ]; then if [ -n "$CROSS_COMPILE" ]; then @@ -179,9 +187,9 @@ script: - if [ -n "$DESTDIR" ]; then mkdir "../$DESTDIR"; if $make install install_docs DESTDIR="../$DESTDIR"; then - echo -e '+\057\057\057\057 MAKE INSTALL_DOCS OK'; + echo -e '+\057\057\057\057\057 MAKE INSTALL_DOCS OK'; else - echo -e '+\057\057\057\057 MAKE INSTALL_DOCS FAILED'; false; + echo -e '+\057\057\057\057\057 MAKE INSTALL_DOCS FAILED'; false; fi; fi - cd $top |