summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRichard Levitte <levitte@openssl.org>2017-10-31 11:42:40 +0100
committerRichard Levitte <levitte@openssl.org>2017-10-31 12:31:41 +0100
commitbb0c588ab2c6dae55bb8adbcf72cab3bca390e0f (patch)
treec7a9170d32fef957d6802e2fe07fe91b7cef905b
parentdf45d1a0410f6c51cb7ecb0af1b62f50da1b6429 (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.yml16
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