This bug is VERY annoying! Although not very reproducible, I can usually hit it after about 4-6 hours of looping ‘fedpkg build’.
Considering the whole Coq build is quite lengthy you'd think that one of these commands would hit it much more quickly: $ while true ; do gdb -ex 'set args -coqlib . -q -native-compiler yes theories/FSets/FMapFullAVL.v' -ex run bin/coqc -ex quit ; done or $ while bin/coqc -coqlib . -q -native-compiler yes theories/FSets/FMapFullAVL.v ; do date; done But nope ... My latest thing is to run the gdb command above _and_ run fedpkg build (in another directory) at the same time, in the hope that it's caused by system load. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-builder quickly builds VMs from scratch http://libguestfs.org/virt-builder.1.html _______________________________________________ devel mailing list -- devel@lists.fedoraproject.org To unsubscribe send an email to devel-le...@lists.fedoraproject.org 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@lists.fedoraproject.org
