On Feb 28, 2019, at 12:20 PM, Bennet Fauber <ben...@umich.edu> wrote: > > I was pointing out why someone might think using `--with-FEATURE=/usr` is > sometimes necessary.
True, but only in the case of a bug. :-) ...but in this case, the bug is too old, and we're almost certainly not going to fix it (sorry! :-( ). So using --with-BLAH=/usr as a workaround is perfectly acceptable in this case. -- Jeff Squyres jsquy...@cisco.com _______________________________________________ users mailing list users@lists.open-mpi.org https://lists.open-mpi.org/mailman/listinfo/users
