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

[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

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it