mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-11 13:22:33 +00:00
depot_deploy: update blueprint pkg path
We need to update the blueprint pkg path as well in case the start node is changed. Otherwise the query tool will keep using the initially configured pkg path.
This commit is contained in:
parent
ddd5e8abb4
commit
cd7cb5fbf4
@ -125,6 +125,8 @@ class Depot_deploy::Child : public List_model<Child>::Element
|
||||
if (pkg != _config_pkg_path())
|
||||
_pkg_xml.destruct();
|
||||
|
||||
_blueprint_pkg_path = pkg;
|
||||
|
||||
/* import new start node */
|
||||
_start_xml.construct(_alloc, start_node);
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user