From 3bc93d12421dddfdc98c2924bcf40c83a08dce97 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Fri, 25 Aug 2017 16:30:21 +0200
Subject: [PATCH] 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.
---
 repos/ports/run/virtualbox_auto.inc | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc
index c295266fa5..41b0e546fc 100644
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -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
 }