On Wed, Sep 10, 2008 at 17:33:24 +0200, Mehdi Dogguy wrote:
> Timo Juhani Lindfors a écrit :
> > Mehdi Dogguy <[EMAIL PROTECTED]> 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 a
Timo Juhani Lindfors a écrit :
> Mehdi Dogguy <[EMAIL PROTECTED]> 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 wri
Mehdi Dogguy <[EMAIL PROTECTED]> 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 :-(
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject
Mehdi Dogguy <[EMAIL PROTECTED]> writes:
> Timo Juhani Lindfors a écrit :
>> Package: why
>> Version: 1.13-1
>> Severity: normal
>>
>> calldp.ml calls cpulimit with
>>
>
>>From 2.01 (according to changelog[1]), Why started using its own version
> of cpulimit (why-cpulimit) and doesn't depend anym
Timo Juhani Lindfors a écrit :
> Mehdi Dogguy <[EMAIL PROTECTED]> writes:
>> Timo Juhani Lindfors a écrit :
>>> Package: why
>>> Version: 1.13-1
>>> Severity: normal
>
> Whoops, I made a typo: I have why version "2.13-1" and not "1.13-1"
Ok. It was corrected in why ≥ 2.14.
--
Mehdi Dogguy
http
Timo Juhani Lindfors a écrit :
> Package: why
> Version: 1.13-1
> Severity: normal
>
> calldp.ml calls cpulimit with
>
>From 2.01 (according to changelog[1]), Why started using its own version
of cpulimit (why-cpulimit) and doesn't depend anymore on cpulimit
(debian package).
Now Why uses only
Package: why
Version: 1.13-1
Severity: normal
calldp.ml calls cpulimit with
let cmd = sprintf "cpulimit %d %s > %s 2>&1" timeout cmd out in
but the cpulimit tool in debian expects different syntax:
$ cpulimit
Error: You must specify a target process
Usage: cpulimit TARGET [OPTIONS...]
TARGET
7 matches
Mail list logo
