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(a)redhat.com> 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/