diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc index ea2ed0d98..fda7a0062 100644 --- a/repos/base/run/platform_drv.inc +++ b/repos/base/run/platform_drv.inc @@ -185,7 +185,7 @@ proc platform_drv_config {} { if {[have_spec x86] && ![have_spec muen] && ![have_spec linux]} { append drv_config { - + } if {[acpi_drv_name] eq "acpica"} {