projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d08ec13) | patch
Reverts addition of autogen.sh to mac-build script.
authorChris Conway <clconway@google.com>
Tue, 1 Dec 2015 19:32:06 +0000 (11:32 -0800)
committerChris Conway <clconway@google.com>
Tue, 1 Dec 2015 19:32:06 +0000 (11:32 -0800)
commitfd7a170d7ae9cd9136ea1de186760871bdb6bb65
treea31227c450334a7b543525f503b2850a116c7855tree
parentd08ec138869fa473713192f8477920299dec2572commit | diff
Reverts addition of autogen.sh to mac-build script.

The file autogen.sh isn't present in dist tarballs so this will
break some users.
contrib/mac-build diff | blob | history