+++ /dev/null
---- VirtualBox-4.1.2_OSE/src/VBox/HostDrivers/VBoxPci/Makefile.kmk.orig 2011-08-15 14:28:45.000000000 +0200
-+++ VirtualBox-4.1.2_OSE/src/VBox/HostDrivers/VBoxPci/Makefile.kmk 2011-08-17 20:01:33.698295944 +0200
-@@ -18,7 +18,7 @@
- SUB_DEPTH = ../../../..
- include $(KBUILD_PATH)/subheader.kmk
- if1of ($(KBUILD_TARGET), linux)
--
-+ ifdef VBOX_WITH_VBOXDRV
- #
- # The driver.
- # Note! For Linux, this is just a compile test. Don't use the binary!
-@@ -82,7 +82,7 @@
- $(QUIET)$(RM) -f -- $@
- $(QUIET)$(SED) -e "s;_VERSION_;${VBOX_VERSION_STRING};g; s;_MODULE_;vboxpci;g; s;_BUILDTYPE_;${KBUILD_TYPE};g" --output $@ $<
- $(QUIET)$(CHMOD) 0755 $@
--
-+ endif
- endif # Supported platform.
- include $(KBUILD_PATH)/subfooter.kmk
-