projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c10c62d) | patch
Makefile fix for new versions of Make (thanks Clark for noticing this); see e.g....
authorMorgan Deters <mdeters@gmail.com>
Mon, 26 Nov 2012 13:42:27 +0000 (13:42 +0000)
committerMorgan Deters <mdeters@gmail.com>
Mon, 26 Nov 2012 13:42:27 +0000 (13:42 +0000)
commit945fb9f4c3ab671d47748a3a021a8481b705beac
treedadf9aba5c78571d2fee0454531c9cd4175d0ba2tree
parentc10c62d53ae784f22021cd172697eded385e5d69commit | diff
Makefile fix for new versions of Make (thanks Clark for noticing this); see e.g. osdir.com/ml/bug-make-gnu/2011-04/msg00011.html
Makefile.builds.in diff | blob | history