On Tue, Jan 02, 2018 at 09:18:59AM -0500, Hal Rosenstock wrote: > > The disabled build doesn't give much benefit at all. It will be dead code exactly > > as now, but without any alert that it is broken. Most possible, it will be broken > > till some distro will notice it. > > Since when has it been brken and how is it broken ? Last I knew it > worked but was not used by anything in tree. Last time I used it I remember thinking it had an unfixable race of some sort.. Long time ago Jason -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html