diff --git a/repos/os/run/test.run b/repos/os/run/test.run index 3cd97250f3..583b93cbff 100644 --- a/repos/os/run/test.run +++ b/repos/os/run/test.run @@ -260,7 +260,7 @@ foreach file $files_from_raw_archives { file copy -force $file [run_dir]/genode/ } install_config { - + @@ -287,7 +287,7 @@ install_config { - +