diff options
author | Dave Davenport <qball@gmpclient.org> | 2016-11-15 22:02:47 +0100 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2016-11-15 22:02:47 +0100 |
commit | d6756b6dad91051645334bd89212ffa4212ba019 (patch) | |
tree | 760ac6438041a45057ace3786470285c325b34fe | |
parent | b1a44cc65ea68f0a13674024b4f5e50d9db326ae (diff) |
Add extra check to travis.
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index aba70d17..6058507c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -74,7 +74,7 @@ script: # - gcov source/rofi.c - make distcheck - git clone https://github.com/alobbs/doxy-coverage - - make doxy + - test $(make doxy 2>&1 | grep -c warning) -eq 0 - ./doxy-coverage/doxy-coverage.py doc/html/xml/ after_success: |