From a9c42ce4b9fcb5901dca6306ce6a99ab43ad3811 Mon Sep 17 00:00:00 2001 From: "Bjoern A. Zeeb" Date: Sun, 18 Jan 2015 01:28:08 +0000 Subject: [PATCH] There are still kernel configs and mk files depending on the OFED option. This will need a proper cleanup and in the meantime after r277302 unbreak LINT builds. --- sys/conf/options | 1 + 1 file changed, 1 insertion(+) diff --git a/sys/conf/options b/sys/conf/options index ce402046a138..a8802af7c2ed 100644 --- a/sys/conf/options +++ b/sys/conf/options @@ -908,6 +908,7 @@ FDT opt_platform.h FDT_DTB_STATIC opt_platform.h # OFED Infiniband stack +OFED opt_ofed.h OFED_DEBUG_INIT opt_ofed.h SDP opt_ofed.h SDP_DEBUG opt_ofed.h