diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index d6acbea39..843537df1 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -404,6 +404,7 @@ proc prepare_to_run_genode { } { +