Re: Coq build issues in F32

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Fri, Mar 27, 2020 at 04:20:16PM -0600, Jerry James wrote:
> On Fri, Mar 27, 2020 at 2:41 PM Richard W.M. Jones <rjones@xxxxxxxxxx> wrote:
> > Yup, and the stack trace shows the failure happening when creating an
> > ephemeron.
> 
> On the other hand, a scratch build with coq upstream's final patch for
> ocaml 4.10.0 succeeded on the first try:
> 
> https://koji.fedoraproject.org/koji/taskinfo?taskID=42808115
> 
> Where this is an intermittent problem, I'll have to try more builds to
> be sure, but this looks promising.

I'll run it in a loop overnight and see if I can make it crash.

Rich.

-- 
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-df lists disk usage of guests without needing to install any
software inside the virtual machine.  Supports Linux and Windows.
http://people.redhat.com/~rjones/virt-df/
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx




[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux