projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5262c3) | patch
Adding check for --disable-shared on --enable-coverage
authorChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 1 Apr 2010 03:02:01 +0000 (03:02 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Thu, 1 Apr 2010 03:02:01 +0000 (03:02 +0000)
commit5f92777db6265321759f463e6c703111cdfc9a80
tree8aa2569053a081ebaac598fd1ff083489290ba64tree
parentc5262c36c1a6a3b5e879ce6eac3f6acb976172d7commit | diff
Adding check for --disable-shared on --enable-coverage
configure.ac diff | blob | history