On 21/03/2012 11:00 AM, Jonathan Gibbons wrote: > It would be nice if the top level makefile had a convenience target to > invoke the "new build". What should it assume you ran configure for? David > -- Jon