On Wed, Apr 03, 2013 at 02:43:29PM +0200, Patrick McHardy wrote: > diff --git a/net/tipc/Kconfig b/net/tipc/Kconfig > index 4f99600..900ee66 100644 > --- a/net/tipc/Kconfig > +++ b/net/tipc/Kconfig > @@ -31,3 +31,10 @@ config TIPC_PORTS > > Setting this to a smaller value saves some memory, > setting it to higher allows for more ports. > + > +config TIPC_MEDIA_IB > + bool "InfiniBand media type support" > + depends on INFINIBAND_IPOIB > + help > + Saying Y here will enable support for running TIPC on > + IP-over-InfiniBand devices. > diff --git a/net/tipc/Makefile b/net/tipc/Makefile > index 6cd55d6..4df8e02 100644 > --- a/net/tipc/Makefile > +++ b/net/tipc/Makefile > @@ -9,3 +9,5 @@ tipc-y += addr.o bcast.o bearer.o config.o \ > name_distr.o subscr.o name_table.o net.o \ > netlink.o node.o node_subscr.o port.o ref.o \ > socket.o log.o eth_media.o > + > +tipc-$(CONFIG_TIPC_MEDIA_IB) += ib_media.o
The TIPC_MEDIA_IB option shows up directly under networking options, instead of under "TIPC". I think "depends on TIPC" is missing? //E -- To unsubscribe from this list: send the line "unsubscribe linux-rdma" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html
