From 96d9e442f577937239e3d4d88824112e1c7b8ae1 Mon Sep 17 00:00:00 2001 From: Alexander Boettcher Date: Wed, 10 Sep 2014 10:11:25 +0200 Subject: [PATCH] vbox: enable auto test for 32bit Genode host Issue #1246 --- repos/ports/run/virtualbox_auto_disk.run | 3 +-- repos/ports/run/virtualbox_auto_share.run | 3 +-- 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/repos/ports/run/virtualbox_auto_disk.run b/repos/ports/run/virtualbox_auto_disk.run index 8fcdbc0cc3..3e8b30401e 100644 --- a/repos/ports/run/virtualbox_auto_disk.run +++ b/repos/ports/run/virtualbox_auto_disk.run @@ -1,6 +1,5 @@ -# Tested for nova 64bit solely. +# Tested for nova. assert_spec nova -assert_spec 64bit set use_vdi 1 set use_iso 0 diff --git a/repos/ports/run/virtualbox_auto_share.run b/repos/ports/run/virtualbox_auto_share.run index 86a2e336d7..a7952c69d5 100644 --- a/repos/ports/run/virtualbox_auto_share.run +++ b/repos/ports/run/virtualbox_auto_share.run @@ -63,9 +63,8 @@ if {[is_qemu_available]} { exit } -# Tested for nova 64bit solely. +# Tested for nova. assert_spec nova -assert_spec 64bit # # Build Noux packages only once