diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-08-29 11:50:15 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-08-29 11:50:15 +0000 |
commit | 777d698c0b11c35da05c55488b02b42064c0fc48 (patch) | |
tree | 09ba0c53362b695cb1f02b567fdebb1fd8774ae3 /src/theory/rewriter_tables_template.h | |
parent | 026c17ed39f34f34d44b676131af64b3c8a4866f (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.
Diffstat (limited to 'src/theory/rewriter_tables_template.h')
0 files changed, 0 insertions, 0 deletions