projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f368260) | patch
fix some build dependencies in options-building; should fix a strange bug Andy saw...
authorMorgan Deters <mdeters@gmail.com>
Wed, 22 Aug 2012 20:19:27 +0000 (20:19 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 22 Aug 2012 20:19:27 +0000 (20:19 +0000)
commit8ba847f7c4c6385cc4a788c3b965498acb3f0f08
tree9bde878e75294361e109ac11e2a0e0b5f408422atree
parentf3682605175f1deb62f5390c5e39ccfba0b170fdcommit | diff
fix some build dependencies in options-building; should fix a strange bug Andy saw when adding options & re-making, which was caused by sources not being properly recompiled when they should be
src/options/Makefile.am diff | blob | history
src/options/mkoptions diff | blob | history