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

[PcX]

于 2011/8/11 1:14, Roberto Bagnara 写道:
> On 08/10/11 19:11, PcX wrote:
>> 于 2011/8/11 0:23, Roberto Bagnara 写道:
>>> On 08/10/11 16:41, PcX wrote:
>>>> I pull the latest, but it also has the problem, so there is another 
>>>> problem.
>>>
>>> Ooopss... my fault again. Should be OK now.
>>> Cheers,
>>>
>>> Roberto
>>>
>> It hasn't been fixed.
>
> Please let us have your configure script.
> Thanks,
>
>    Roberto
>
It's in the attachment.

-- 
Best Regards,
PcX

-------------- next part --------------
A non-text attachment was scrubbed...
Name: configure.7z
Type: application/x-7z-compressed
Size: 126120 bytes
Desc: not available
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20110811/4c6778f8/attachment.7z>