On Fri, 11 Oct 2013, David Malcolm wrote:

> Thanks.   Presumably the initially posted configure/make patch still
> needs review, right?

Yes (by a build system maintainer, probably).

-- 
Joseph S. Myers
jos...@codesourcery.com

Reply via email to