denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

ports-foc: assert use of 32-bit platforms

Browse Source 
L4Linux does not support x86_64. Detect this case early in the run
script.
This commit is contained in:
Norman Feske
2013-06-30 13:48:10 +02:00
parent 9bff8c454a
commit 2045fffe2a
4 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
ports-foc/run/l4android.run
View File

@@ -1,12 +1,10 @@
assert_spec foc
assert_spec 32bit
#
# Build
#
if {[have_spec foc] == 0} {
puts "Runs on Fiasco.OC only"
exit 0
}
set use_platform_drv [expr [have_spec platform_arndale] || [have_spec platform_imx53]]
set use_usb_drv [expr [have_spec omap4] || [have_spec exynos5]]
set use_nic_drv [expr !$use_usb_drv]

1
ports-foc/run/l4linux.run
View File

@@ -1,4 +1,5 @@
assert_spec foc
assert_spec 32bit
#
# Build

1
ports-foc/run/multi_linux.run
View File

@@ -1,4 +1,5 @@
assert_spec foc
assert_spec 32bit
#
# Build

1
ports-foc/run/two_linux.run
View File

@@ -1,4 +1,5 @@
assert_spec foc
assert_spec 32bit
#
# Build