projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b06a3d6) | patch
disable building of cvc3_george system-test object (which isn't used yet anyway,...
authorMorgan Deters <mdeters@gmail.com>
Wed, 26 Sep 2012 22:22:09 +0000 (22:22 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 26 Sep 2012 22:22:09 +0000 (22:22 +0000)
commit868ee6deae0febd3dbdc319d114536d50f7e3b41
treefb421832dd7901fed33ec4dc4a6ab612f6e66361tree
parentb06a3d697c1dc57c58498c9e8612d4c21d6395d6commit | diff
disable building of cvc3_george system-test object (which isn't used yet anyway, and required ~10 minutes to build with -O3).

(this commit was certified error- and warning-free by the test-and-commit script.)
test/system/Makefile.am diff | blob | history