From e5c57bddccdd7057e2b5056f1042972a420f193b Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 27 Mar 2013 12:31:26 +0100
Subject: [PATCH] Add ports-foc to build.conf for foc_arndale

---
 tool/create_builddir | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/create_builddir b/tool/create_builddir
index 585914077..8ba887007 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -120,7 +120,7 @@ $(BUILD_DIR)/Makefile:
 #
 # Add 'ports-foc' repository to Fiasco.OC build directory
 #
-ifeq ($(filter-out foc_x86_32 foc_imx53 foc_pbxa9 foc_vea9x4 foc_panda,$(PLATFORM)),)
+ifeq ($(filter-out foc_x86_32 foc_imx53 foc_pbxa9 foc_vea9x4 foc_panda foc_arndale,$(PLATFORM)),)
 $(BUILD_DIR)/etc/build.conf::
 	@cat $(BUILD_CONF).ports-foc >> $@
 endif