Fix default base-nova/etc/specs.conf
This commit is contained in:
parent
9dae5ee490
commit
0ca774592f
|
@ -2,4 +2,4 @@
|
|||
# Description of build platform
|
||||
#
|
||||
|
||||
SPECS ?= genode nova x86_32
|
||||
SPECS ?= genode nova_x86_32
|
||||
|
|
Loading…
Reference in New Issue