On Fri, Sep 24, 2021 at 01:41:11PM -0600, Jerry James wrote:
Are you going to try building the coq stack on s390x? If so,
ExcludeArch tags will need to be removed from:
- coq
- flocq
- frama-c
- gappalib-coq
- why3
- zenon
That's a good question - do we have any reason to believe the compiler
bug is fixed, or do you want me to try it and see?
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top