projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80154c2) | patch
with --with-google-perftools, don't just take it on blind faith, require a successful...
authorMorgan Deters <mdeters@gmail.com>
Sat, 2 Apr 2011 05:43:24 +0000 (05:43 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sat, 2 Apr 2011 05:43:24 +0000 (05:43 +0000)
commit41362e76ebc0073c1801700da574b6265dcbc6a9
tree7b7e35e857bbfc2728316d75c028347c1833a6f0tree
parent80154c23a16b43b67723781a4b6268e684a4b307commit | diff
with --with-google-perftools, don't just take it on blind faith, require a successful link at configure time
configure.ac diff | blob | history