diff --git a/repos/gems/run/sculpt.run b/repos/gems/run/sculpt.run index 35a7af08b4..d4ce26a027 100644 --- a/repos/gems/run/sculpt.run +++ b/repos/gems/run/sculpt.run @@ -718,6 +718,14 @@ append manual_deploy_config { --> + + } set fd [open [run_dir]/genode/manual_deploy.config w]