projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be432fe) | patch
fix confusing CXXTEST configure message, indicating success at finding cxxtest when...
authorMorgan Deters <mdeters@gmail.com>
Thu, 28 Oct 2010 06:20:17 +0000 (06:20 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 28 Oct 2010 06:20:17 +0000 (06:20 +0000)
commit61cff4d656a292c6138be5e08715cadd28e22b03
treed55344d93dc76f518add73c1163e72b808ab4ac7tree
parentbe432fe60ee4bd7ae9143a38c7a4f30ad47c5edacommit | diff
fix confusing CXXTEST configure message, indicating success at finding cxxtest when it wasn't found.
configure.ac diff | blob | history