From ae91ca012e1fa0c3852c143991a6f7d0dbcf417e Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 31 Jan 2017 12:12:18 +0100
Subject: [PATCH] fb_bench: correct "platform not supported" message

Ref #2268
---
 repos/os/run/fb_bench.run | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/os/run/fb_bench.run b/repos/os/run/fb_bench.run
index bc287ba774..8676c3b7a3 100644
--- a/repos/os/run/fb_bench.run
+++ b/repos/os/run/fb_bench.run
@@ -3,7 +3,9 @@
 #
 
 if {[have_spec odroid_xu]} {
-	puts "Run script not supported for this platform."; exit 0 }
+	puts "\n Run script is not supported on this platform. \n";
+	exit 0
+}
 
 set build_components { core init test/fb_bench drivers/framebuffer drivers/timer }