On Tue, Nov 14, 2017 at 07:58:43PM +0100, Benjamin Drung wrote: > There is no elegant way to handle that. The most elegant way I can come > up with is: This seems to work, but it is too bad we couldn't drive it out of cmake's decisions somehow.. 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
