On Fri, Jul 27, 2012 at 11:32:57AM -0600, Jerry James wrote: > On Fri, Jul 27, 2012 at 11:08 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> wrote: > > Always the same process (ocamlopt.opt) and always on 32 bit only. > > > > The thing is, it *didn't* happen just 3 days ago. Nothing has changed > > in the package, and ocamlopt.opt is the same as 3 days ago. > > Well .... you may recall that I haven't been able to build coq > successfully for quite awhile. The symptom there is apparently random > segfaults during the build, on 32-bit x86 only; I've never had the > problem with an x86_64 build. Maybe this problem has been around > longer than you think, but something just made it more likely. (Or > I'm hitting a different problem with the same symptoms.) Yes, now I do recall that. Also, I seem to remember that it built OK (for me) locally, but not in Koji. That would be quite similar wouldn't it ... Is there a BZ for the coq failure? Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into Xen guests. http://et.redhat.com/~rjones/virt-p2v -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel
