ofiwg/libfabric — pull request #220 by jsquyres (2014-10-23 12:52:09+00:00)
Title: 2 fixes for "make dist"

@sayantansur @jithinjosepkl Please review. These two commits are necessary to fix "make dist", as noted in #219.