projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 026c17e) | patch
To the build system:
authorMorgan Deters <mdeters@gmail.com>
Wed, 29 Aug 2012 11:50:15 +0000 (11:50 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 29 Aug 2012 11:50:15 +0000 (11:50 +0000)
commit777d698c0b11c35da05c55488b02b42064c0fc48
tree09ba0c53362b695cb1f02b567fdebb1fd8774ae3tree
parent026c17ed39f34f34d44b676131af64b3c8a4866fcommit | diff
To the build system:

* Fix "make distclean."  This should fix the "local regressions fail"
  that caused documentation, debian, and "distcheck" nightly build targets
  to fail.

* "make clean" now removes some options stuff that previously required a
  "make distclean."

* Cosmetic and portability adjustments.
src/options/Makefile.am diff | blob | history
test/unit/Makefile.am diff | blob | history