--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on February 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [PATCH 1/4] Check for gmake, falling back to make



On 2010-02-27 21:40:26, Pascal Cuoq wrote:
> > I'll try to build from SVN.
> 
> Sorry, you can't do that because the SVN is not public. Richard meant
> that the patches won't be necessary once the next release has
> happened, not to go to the SVN.

Understood.

Regards,
M