vbox4: disable muen run targets due to issue #2399

2017-08-08 16:18:50 +02:00
parent 8e798ab904
commit 523b317fe6
1 changed files with 4 additions and 1 deletions
--- a/repos/ports/run/virtualbox_auto.inc
+++ b/repos/ports/run/virtualbox_auto.inc
@@ -1,4 +1,7 @@
-if {(![have_spec nova] && ![have_spec muen])} {
+if {(![have_spec nova])} {
+	if {[have_spec muen]} {
+		puts "vbox on muen is not functional until issue #2399 gets fixed"
+	}
 	puts "Platform is unsupported."
 	exit 0
 }