From ce075c05b9f54132f30f9f937c757f408ccbe81d Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 26 Feb 2013 13:00:17 +0100
Subject: [PATCH] Skip Qemu execution for the Arndale platform

Fixes #672.
---
 tool/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run b/tool/run
index baf63736cf..ac29ca73f0 100755
--- a/tool/run
+++ b/tool/run
@@ -418,7 +418,7 @@ proc spawn_qemu { wait_for_re timeout_value } {
 	#
 	# Back out on platforms w/o Qemu support
 	#
-	if {[have_spec platform_panda]}  {
+	if {[have_spec platform_panda] || [have_spec platform_arndale]}  {
 		puts stderr "skipping execution because platform is not supported by qemu"
 		return 0 }