The description is clearly what effect the knob has when set, so the additional text was unnecessary. Reviewed by: jhb, se Sponsored by: The FreeBSD Foundation Differential Revision: https://reviews.freebsd.org/D29583
Manager, under the new option WITH_OFED_EXTRA, disabled by default. Reviewed by: bdrewery, hselasky (previous version) Sponsored by: Mellanox Technologies MFC after: 2 weeks Differential revision: https://reviews.freebsd.org/D16230