Changeset 29322 in vbox

Timestamp:

May 11, 2010 9:57:42 AM (15 years ago)

Author:

vboxsync

Message:

Properly propagate VBOX_WITH_PAGE_SHARING

File:

• trunk/src/VBox/Devices/Makefile.kmk (modified) (2 diffs)

trunk/src/VBox/Devices/Makefile.kmk

@@ -188 +188 @@
 ifdef VBOX_WITH_DRV_DISK_INTEGRITY
  VBoxDD_DEFS           += VBOX_WITH_DRV_DISK_INTEGRITY
-endif
-ifdef VBOX_WITH_PAGE_SHARING
-  VBoxDD_DEFS          += VBOX_WITH_PAGE_SHARING
 endif
 ifdef VBOX_WITH_VDE
@@ -288 +285 @@
 DevicesR3_DEFS.darwin.x86 = VBOX_WITH_2X_4GB_ADDR_SPACE
 DevicesR3_DEFS         += VBOX_HGCM_HOST_CODE \
-                          $(if $(VBOX_WITH_VMI),VBOX_WITH_VMI,)
+                          $(if $(VBOX_WITH_VMI),VBOX_WITH_VMI,) \
+                          $(if $(VBOX_WITH_PAGE_SHARING),VBOX_WITH_PAGE_SHARING,)
 DevicesR3_DEFS         += VBOX_WITH_HGCM
 DevicesR3_DEFS.linux   += _GNU_SOURCE