diff --git a/repos/gems/recipes/raw/depot_download/depot_download.config b/repos/gems/recipes/raw/depot_download/depot_download.config index 1c1c5a9dd5..15e700f331 100644 --- a/repos/gems/recipes/raw/depot_download/depot_download.config +++ b/repos/gems/recipes/raw/depot_download/depot_download.config @@ -80,7 +80,7 @@ - + diff --git a/repos/gems/run/depot_download.run b/repos/gems/run/depot_download.run index 8d3e40a7f1..b4806428fa 100644 --- a/repos/gems/run/depot_download.run +++ b/repos/gems/run/depot_download.run @@ -131,5 +131,5 @@ build_boot_image $boot_modules append qemu_args " -nographic -net nic,model=e1000 -net user " -run_genode_until {.*\[init -> depot_download -> manager\] installation complete.*\n} 120 +run_genode_until {.*\[init -> depot_download -> manager\] installation complete.*\n} 150