v5.0.x: autogen.pl: strengthen submodule checks#12410

wenduwan merged 1 commit intoopen-mpi:v5.0.xopen-mpi/ompi:v5.0.xfrom

jsquyres:pr/v5.0.x/strengthen-autogen-submodule-checksjsquyres/ompi:pr/v5.0.x/strengthen-autogen-submodule-checksCopy head branch name to clipboard