Bug#498485: why: calls cpulimit with wrong arguments
Timo Juhani Lindfors a écrit :
> Mehdi Dogguy <Mehdi.Dogguy@pps.jussieu.fr> writes:
>> Ok. It was corrected in why ≥ 2.14.
>
> Ok, it is probably too late to correct this for debian lenny? At the
> moment it is not possible to launch any provers from gwhy GUI because
> of the issue :-(
You just have to write a wrapper for cpulimit to solve your problem.
I don't think it's possible to correct it in lenny ... Can you confirm
that Julien ? What can we do ?
--
Mehdi Dogguy
http://www.pps.jussieu.fr/~dogguy/
Reply to: