virtualbox.run: switch to vbox5

Issue #2658
2018-01-28 11:48:13 +01:00 · 2018-01-28 11:48:13 +01:00 · 8287abf63f
parent 50966583f6
commit 8287abf63f
1 changed files with 1 additions and 1 deletions
--- a/repos/ports/run/virtualbox.run
+++ b/repos/ports/run/virtualbox.run
@ -3,7 +3,7 @@ set use_ps2 [have_spec ps2]
 set use_usb 0
 set use_serial 1

-set use_vbox4 1
+set use_vbox4 0
 set use_vbox5 [expr !$use_vbox4]

 # use_gui starts two VMs