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:[EMAIL PROTECTED]
