Index: src/VBox/HostDrivers/VBoxPci/Makefile.kmk =================================================================== --- src/VBox/HostDrivers/VBoxPci/Makefile.kmk.orig +++ src/VBox/HostDrivers/VBoxPci/Makefile.kmk @@ -17,7 +17,9 @@ SUB_DEPTH = ../../../.. include $(KBUILD_PATH)/subheader.kmk + if1of ($(KBUILD_TARGET), linux) +ifdef VBOX_WITH_VBOXDRV # # The driver. @@ -41,7 +43,7 @@ if1of ($(KBUILD_TARGET), linux) VBoxPci_LIBS += \ $(PATH_STAGE_LIB)/SUPR0IdcClient$(VBOX_SUFF_LIB) - +endif # # Install the sources. #