diff options
| author | Dave Davenport <qball@gmpclient.org> | 2017-04-30 18:34:37 +0200 |
|---|---|---|
| committer | Dave Davenport <qball@gmpclient.org> | 2017-04-30 18:34:37 +0200 |
| commit | 7892a833014b0304e1ca4dd7c3c442da93b5832f (patch) | |
| tree | 21ccb14af27874e0c266aac54ee340ddedb04bee /.travis.yml | |
| parent | 2ac6678d47d4f755cb20198f3929a1a84b30c1b5 (diff) | |
Allow libcheck to be disabled if not found
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index dfc98ba8..caddd262 100644 --- a/.travis.yml +++ b/.travis.yml @@ -39,6 +39,8 @@ addons: - lcov - doxygen - graphviz + - texinfo + - texi2html compiler: - gcc |