mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
vbox: fine-tune automatic test runs on Muen
Currently, only win7 32-bit tests run successfully and are whitelisted. We may extent the list in future with other supported guests.
This commit is contained in:
@@ -9,7 +9,12 @@ if {[have_include "power_on/qemu"]} {
|
||||
}
|
||||
|
||||
if {([have_spec muen] && [expr $use_vbox5])} {
|
||||
puts "Platform is unsupported."
|
||||
puts "Run script does not support vbox5 on Muen."
|
||||
exit 0
|
||||
}
|
||||
|
||||
if {([have_spec muen] && $flavor != "win7")} {
|
||||
puts "Run script does not support $flavor on Muen."
|
||||
exit 0
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user