diff --git a/repos/os/run/timeout.run b/repos/os/run/timeout.run index bdcd208444..984e7cb755 100644 --- a/repos/os/run/timeout.run +++ b/repos/os/run/timeout.run @@ -61,7 +61,7 @@ build "core init drivers/platform drivers/timer test/timeout test/cpufreq" create_boot_directory append config { - + @@ -80,7 +80,7 @@ append config { - +