search

open-mpi / ompi

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

autogen.pl: put in a helpful git submodule message #12603

Closed jsquyres closed 4 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.