ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-07 19:34:56 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

run: make 'is_qemu_available' return false for Linux

Browse Source 
Fixes #862.
This commit is contained in:
Christian Prochaska 2013-08-29 23:23:29 +02:00 committed by Norman Feske
parent 5b8965cde9
commit 33e176312e
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tool/run
View File

@ -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