[PPL-devel] mode=execute argument munging bug

[Roberto Bagnara]

Ralf Wildenhues wrote:
> * Roberto Bagnara wrote on Wed, Mar 05, 2008 at 07:37:58AM CET:
>> It is better now, but there is still the problem that, apparently,
>> libtool redirects stdin for the program it is running.
> 
> Gosh.  How embarrassing.  I've applied this patch.

Dear Ralf,

everything seems to work for us now.
Thanks!

     Roberto

P.S. I will look at the testsuite failure during the weekend.

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it