From 33e176312ed54fe6f6ef5b3f788a8ba92f112792 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Thu, 29 Aug 2013 23:23:29 +0200
Subject: [PATCH] run: make 'is_qemu_available' return false for Linux

Fixes #862.
---
 tool/run | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tool/run b/tool/run
index 46bffb062d..5fd57b7d2a 100755
--- a/tool/run
+++ b/tool/run
@@ -524,6 +524,8 @@ proc is_qemu_available { } {
 
 	if {![regexp "qemu" $run_target]} { return false }
 
+	if {[have_spec linux]} { return false }
+
 	if {[have_spec platform_panda] || [have_spec platform_arndale]}  {
 		puts stderr "skipping execution because platform is not supported by qemu"
 		return false