From 2c4cca899ad67f9605f3d510c4a687f12e3e3450 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Sun, 21 Aug 2016 14:06:32 +0200
Subject: [PATCH] follow-up fix for "Share common parts ..."

Prevent duplicated build argument of platform-driver, fixes the build
for the Raspberry Pi.
---
 run/framebuffer_app.inc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/run/framebuffer_app.inc b/run/framebuffer_app.inc
index 6e7622b..31787c7 100644
--- a/run/framebuffer_app.inc
+++ b/run/framebuffer_app.inc
@@ -20,12 +20,13 @@ if {![info exists fb_config]} {
 append build_components {
 	core init
 	drivers/timer
-	drivers/framebuffer drivers/platform drivers/input
+	drivers/framebuffer drivers/input
 }
 
 lappend_if [have_spec usb] build_components drivers/usb
 
 source ${genode_dir}/repos/base/run/platform_drv.inc
+
 # override default platform driver policy
 proc platform_drv_policy {} {
 	return {