open-mpi / ompi

Open MPI main development repository
https://www.open-mpi.org
Other
2.07k stars 844 forks source link

v5.0.x: autogen.pl: put in a helpful git submodule message #12606

Closed jsquyres closed 3 weeks ago

jsquyres commented 4 weeks ago

We have two places where we check for expected git submodules. One of them printed a helpful message describing how to fix the error, the other didn't. This commit simply makes both places print the helpful message.

Signed-off-by: Jeff Squyres jeff@squyres.com (cherry picked from commit cc59414a7fcd4c38f9b1215c49628e8df9d05f0f)

This is the v5.0.x PR corresponding to main PR #12603

wenduwan commented 4 weeks ago

Running AWS CI