[PPL-devel] the latest ppl git configure script has something wrong

[Anthony Foiani]

Greetings --

On Tue, Aug 9, 2011 at 12:00 PM, PcX <xunxun1982 at gmail.com> wrote:
> I mean latest ppl git is master branch.
> 6.10 is ppl git at the time of June 10th.

This should be a perfect use case for "git bisect".  Could you try
that, to see if you can find the commit where things broke for you?

Regards,
Tony