v4.1.x: Fix inconsistent configure-time check#11857

jsquyres merged 1 commit intoopen-mpi:v4.1.xopen-mpi/ompi:v4.1.xfrom

skosukhin:fix_config_ignore_tkrskosukhin/ompi:fix_config_ignore_tkrCopy head branch name to clipboard