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
> Yup, and the stack trace shows the failure happening when creating an
On the other hand, a scratch build with coq upstream's final patch for
ocaml 4.10.0 succeeded on the first try:
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.
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.