projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd7a170) | patch
Adds attempt to download config.guess to get-antlr-3.4 script.
authorChris Conway <clconway@google.com>
Tue, 1 Dec 2015 19:36:07 +0000 (11:36 -0800)
committerChris Conway <clconway@google.com>
Tue, 1 Dec 2015 19:36:07 +0000 (11:36 -0800)
commitf84bc2f51a1a81b7c7c14f1ed0a2d56b4d70fa40
tree3272480c51db0f73023b5fd007fc72ab4453fa94tree
parentfd7a170d7ae9cd9136ea1de186760871bdb6bb65commit | diff
Adds attempt to download config.guess to get-antlr-3.4 script.

This should work around the case where autogen.sh hasn't been run,
as long as the download succeeds.
contrib/get-antlr-3.4 diff | blob | history