diff --git a/repos/gems/run/decorator.run b/repos/gems/run/decorator.run index 936f0e594..91f3b350d 100644 --- a/repos/gems/run/decorator.run +++ b/repos/gems/run/decorator.run @@ -27,12 +27,14 @@ install_config { + + - + diff --git a/repos/gems/run/decorator_stress.run b/repos/gems/run/decorator_stress.run index e91ceafe4..87eb03c50 100644 --- a/repos/gems/run/decorator_stress.run +++ b/repos/gems/run/decorator_stress.run @@ -28,12 +28,14 @@ install_config { + + - + @@ -46,7 +48,7 @@ install_config { - + @@ -93,9 +95,9 @@ install_config { } -build { test/decorator_stress } +build { app/decorator test/decorator_stress } -build_boot_image { test-decorator_stress } +build_boot_image { decorator test-decorator_stress } run_genode_until forever