From b3dd9fcb45bf52f27a1e050ade91bd9073a637c8 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 11 Jun 2012 14:27:53 +0200
Subject: [PATCH] Skip qemu invocation on panda platform

---
 tool/run | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tool/run b/tool/run
index e561894c8f..6cc07e692c 100755
--- a/tool/run
+++ b/tool/run
@@ -415,6 +415,13 @@ proc spawn_qemu { wait_for_re timeout_value } {
 	global qemu
 	global spawn_id
 
+	#
+	# Back out on platforms w/o Qemu support
+	#
+	if {[have_spec platform_panda]}  {
+		puts stderr "skipping execution because platform is not supported by qemu"
+		return 0 }
+
 	if {[have_spec x86_32]} { set qemu "qemu-system-i386" }
 	if {[have_spec x86_64]} { set qemu "qemu-system-x86_64" }
 	if {[have_spec arm]}    { set qemu "qemu-system-arm" }