From 8514eecc902c849943daccd6fd6c9563d6a5a109 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Sun, 1 Dec 2013 22:34:39 +0100
Subject: [PATCH] noux_tool_chain.inc: remove trailing whitespaces

ref #964
---
 ports/run/noux_tool_chain.inc | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/ports/run/noux_tool_chain.inc b/ports/run/noux_tool_chain.inc
index b7ae03417c..5d867c51f8 100644
--- a/ports/run/noux_tool_chain.inc
+++ b/ports/run/noux_tool_chain.inc
@@ -111,11 +111,11 @@ append config {
 			<provides><service name="Timer"/></provides>
 		</start> }
 
-append_if $use_platform_driver config {                                         
-		<start name="platform_drv">                                                 
-			<resource name="RAM" quantum="1M" />                                    
-			<provides><service name="Regulator"/></provides>                        
-		</start>} 
+append_if $use_platform_driver config {
+		<start name="platform_drv">
+			<resource name="RAM" quantum="1M" />
+			<provides><service name="Regulator"/></provides>
+		</start>}
 
 append_if [have_spec sdl] config {
 	<start name="fb_sdl">