projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5946967) | patch
"make check" now places binaries in the proper place before doing the checks; this...
authorMorgan Deters <mdeters@gmail.com>
Wed, 1 Sep 2010 22:24:55 +0000 (22:24 +0000)
committerMorgan Deters <mdeters@gmail.com>
Wed, 1 Sep 2010 22:24:55 +0000 (22:24 +0000)
commit81d178c1ca853754aaa614d0400e45a8900092b9
treedcc28421e4148d03da1f88048f341ef0a4a09e7atree
parent594696734e9bd18b1ecc31d3b65a6001bae452a5commit | diff
"make check" now places binaries in the proper place before doing the checks; this closes bug 46 finally, though the major annoyances related to this bug already had been fixed long ago
Makefile.builds.in diff | blob | history