alex/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Do not try to start Qemu for platform_rpi

Browse Source
This commit is contained in:
Norman Feske
2013-11-20 20:38:50 +01:00
parent b7b8d22bc3
commit 4388c2a97c
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tool/run
View File

@@ -526,7 +526,9 @@ proc is_qemu_available { } {
if {[have_spec linux]} { return false }
if {[have_spec platform_panda] || [have_spec platform_arndale]} {
if {[have_spec platform_panda]
|| [have_spec platform_arndale]
|| [have_spec platform_rpi]} {
puts stderr "skipping execution because platform is not supported by qemu"
return false
}