]> granicus.if.org Git - check/commit
projects / check / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 42bf6fd) | patch
configure: optional build documentation, travis
authorMikko Johannes Koivunalho <mikko.koivunalho@iki.fi>
Thu, 29 Aug 2019 14:57:52 +0000 (16:57 +0200)
committerMikko Johannes Koivunalho <mikko.koivunalho@iki.fi>
Thu, 29 Aug 2019 16:27:40 +0000 (18:27 +0200)
commit4842075d10411e92c1f3fa12b10aafc55c834fed
treeb538de4dc57cc0350557d8d5d613d8d38d269460tree | snapshot
parent42bf6fd291211f765aa4158a8c498ede61fe402dcommit | diff
configure: optional build documentation, travis

Tweak Travis build to support the new `./configure` switch.

Signed-off-by: Mikko Johannes Koivunalho <mikko.koivunalho@iki.fi>
travis.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.