From 3e9d5c532c05b341ef44246cbc410e1a2b2c7966 Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Wed, 27 Jun 2012 10:53:35 +0200
Subject: [PATCH] Enable drivers for foc_x86_64 while builddir creation

In the create_builddir script the foc_x86_64 platform was missing
when adding x86-drivers to the etc/build.conf file. This lead to
failed run-scripts initiated by the autopilot tool.
---
 tool/create_builddir | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/create_builddir b/tool/create_builddir
index d3984f17b..0a984def3 100755
--- a/tool/create_builddir
+++ b/tool/create_builddir
@@ -121,7 +121,7 @@ endif
 #
 # Add x86 drivers repositories to x86 build directories
 #
-ifeq ($(filter-out foc_x86_32 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86,$(PLATFORM)),)
+ifeq ($(filter-out foc_x86_32 foc_x86_64 okl4_x86 nova_x86_32 nova_x86_64 pistachio_x86 fiasco_x86,$(PLATFORM)),)
 $(BUILD_DIR)/etc/build.conf::
 	@cat $(BUILD_CONF).drivers_x86 >> $@
 endif