diff --git a/repos/ports/run/virtualbox_auto.inc b/repos/ports/run/virtualbox_auto.inc index cfa361e01..aa60f2562 100644 --- a/repos/ports/run/virtualbox_auto.inc +++ b/repos/ports/run/virtualbox_auto.inc @@ -1,7 +1,4 @@ -if {(![have_spec nova])} { - if {[have_spec muen]} { - puts "vbox on muen is not functional until issue #2399 gets fixed" - } +if {(![have_spec nova] && ![have_spec muen])} { puts "Platform is unsupported." exit 0 }