projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc63c26) | patch
fix distributed builds (and therefore the Debian nightly build) by ignoring Makefile...
authorMorgan Deters <mdeters@gmail.com>
Fri, 6 Apr 2012 20:44:12 +0000 (20:44 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 6 Apr 2012 20:44:12 +0000 (20:44 +0000)
commit6a5fb6d945b109921cb9b6117f4ede0b6d110c08
tree2a3cc2e6da657f52165c7df90863f5226b9d6972tree
parentbc63c26f48851a79d21139f32f2c57daeb47f49dcommit | diff
fix distributed builds (and therefore the Debian nightly build) by ignoring Makefile.am files under src/prop/cryptominisat.
configure.ac diff | blob | history