VirtualBox-build.patch

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