ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-20 17:52:52 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

virtualbox: require x86 platform

Browse Source 
Fixes #2326
This commit is contained in:
Christian Prochaska 2017-03-08 09:03:42 +01:00 committed by Christian Helmuth
parent a1f195f7c0
commit 2ac845281d
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/ports/lib/mk/virtualbox-common.inc
View File

@ -1,3 +1,5 @@
REQUIRES += x86
VBOX_MACH := $(filter $(SPECS), x86_32 x86_64)
VBOX_MACH_CC_OPT_x86_32 = -DRT_ARCH_X86 -D__X86__

2
repos/ports/lib/mk/virtualbox5-common.inc
View File

@ -1,3 +1,5 @@
REQUIRES += x86
VBOX_MACH := $(filter $(SPECS), x86_32 x86_64)
VBOX_MACH_CC_OPT_x86_32 = -DRT_ARCH_X86 -D__X86__