25d457e3d4
get installed for external tools, and they don't need any dependency on our internal ompi_config.h file. Moreover, this file is crafted in such a way that there is no need for ompi_config.h. This commit was SVN r20884.