mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
sculpt: suppress non-critical warning
This commit is contained in:
committed by
Christian Helmuth
parent
33c71d1d2c
commit
26acd6c65a
@@ -89,7 +89,7 @@ void Sculpt::Deploy::handle_deploy()
|
||||
|
||||
/* determine CPU architecture of deployment */
|
||||
_arch = managed_deploy.attribute_value("arch", Arch());
|
||||
if (!_arch.valid())
|
||||
if ((managed_deploy.type() != "empty") && !_arch.valid())
|
||||
warning("managed deploy config lacks 'arch' attribute");
|
||||
|
||||
try { _children.apply_config(managed_deploy); }
|
||||
|
||||
Reference in New Issue
Block a user