From 2045fffe2a288bdf16cdc4dc48afc051577d49c5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 30 Jun 2013 13:48:10 +0200
Subject: [PATCH] ports-foc: assert use of 32-bit platforms

L4Linux does not support x86_64. Detect this case early in the run
script.
---
 ports-foc/run/l4android.run   | 8 +++-----
 ports-foc/run/l4linux.run     | 1 +
 ports-foc/run/multi_linux.run | 1 +
 ports-foc/run/two_linux.run   | 1 +
 4 files changed, 6 insertions(+), 5 deletions(-)

diff --git a/ports-foc/run/l4android.run b/ports-foc/run/l4android.run
index 425f548ec3..f474348635 100644
--- a/ports-foc/run/l4android.run
+++ b/ports-foc/run/l4android.run
@@ -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]
diff --git a/ports-foc/run/l4linux.run b/ports-foc/run/l4linux.run
index 40e41e729c..67daad9acd 100644
--- a/ports-foc/run/l4linux.run
+++ b/ports-foc/run/l4linux.run
@@ -1,4 +1,5 @@
 assert_spec foc
+assert_spec 32bit
 
 #
 # Build
diff --git a/ports-foc/run/multi_linux.run b/ports-foc/run/multi_linux.run
index c40afa145a..b14bba8a0a 100644
--- a/ports-foc/run/multi_linux.run
+++ b/ports-foc/run/multi_linux.run
@@ -1,4 +1,5 @@
 assert_spec foc
+assert_spec 32bit
 
 #
 # Build
diff --git a/ports-foc/run/two_linux.run b/ports-foc/run/two_linux.run
index c1516d98bd..8598006455 100644
--- a/ports-foc/run/two_linux.run
+++ b/ports-foc/run/two_linux.run
@@ -1,4 +1,5 @@
 assert_spec foc
+assert_spec 32bit
 
 #
 # Build