diff --git a/repos/gems/run/depot_autopilot.run b/repos/gems/run/depot_autopilot.run index 5afd475011..8ebd6dce35 100644 --- a/repos/gems/run/depot_autopilot.run +++ b/repos/gems/run/depot_autopilot.run @@ -398,7 +398,7 @@ proc prepare_to_run_genode { } { } $previous_results { + failed="} $previous_failed {">} [string map {\" .} $previous_results] { } [test_pkgs_start_nodes] {