We are testing for these now, but never call them since https://bitbucket.org/petsc/petsc/commits/9b5000abb3a60be67df1194dc2bfaf8b24ce60ad
I think we should remove those tests. I wonder how many more configure tests can be removed because their result is unused.
pgpK0EurCWbtz.pgp
Description: PGP signature
