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

[Roberto Bagnara]

On 08/10/11 04:04, PcX wrote:
> I try to checkout the version at 2011/7/11, and that's no problem.
> But I checkout the version at 2011/7/24, it will cause my problem.
> So there is something wrong between 2011/7/11 and 2011/7/24.

Indeed.  In a commit of 2011/07/23 I forgot a pair of double quotes?
Can you please check if this solves the problem for you?
Thanks,

    Roberto

P.S. Thank you too Anthony!

-- 
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