projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b21aad9) | patch
remove the last vestiges of support for "make build-profile" without first configurin...
authorMorgan Deters <mdeters@gmail.com>
Fri, 5 Feb 2010 21:16:56 +0000 (21:16 +0000)
committerMorgan Deters <mdeters@gmail.com>
Fri, 5 Feb 2010 21:16:56 +0000 (21:16 +0000)
commit3475bed79c40cdf6430d936ea40759882054728d
treeb00e5fd7a97dd6d631ce909c0654488ea58c82fftree
parentb21aad9f82edd1f0241579bf2f1f8cd870eb582bcommit | diff
remove the last vestiges of support for "make build-profile" without first configuring the build-profile, simplifying the build process and closing bug 21
Makefile.am diff | blob | history
Makefile.reconf_args [deleted file] blob | history