open-mpi/ompi-release — pull request #116 by rhc54 (2014-12-12 16:44:50+00:00)
Title: Don't install the Java shmem tools if we aren't building Java support.

Thanks to Paul Hargrove for finding this.

@jsquyres take a gander at this one.