ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-03-22 20:15:20 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

vbox: enable auto test for 32bit Genode host

Browse Source 
Issue #1246
This commit is contained in:
Alexander Boettcher 2014-09-10 10:11:25 +02:00 committed by Christian Helmuth
parent 8b8c2713ae
commit 96d9e442f5
2 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
repos/ports/run/virtualbox_auto_disk.run
View File

@ -1,6 +1,5 @@
# Tested for nova 64bit solely. # Tested for nova.
assert_spec nova assert_spec nova
assert_spec 64bit
set use_vdi 1 set use_vdi 1
set use_iso 0 set use_iso 0

3
repos/ports/run/virtualbox_auto_share.run
View File

@ -63,9 +63,8 @@ if {[is_qemu_available]} {
exit exit
} }
# Tested for nova 64bit solely. # Tested for nova.
assert_spec nova assert_spec nova
assert_spec 64bit
# #
# Build Noux packages only once # Build Noux packages only once