diff --git a/repos/base/run/platform_drv.inc b/repos/base/run/platform_drv.inc index 3109db623..06deca99d 100644 --- a/repos/base/run/platform_drv.inc +++ b/repos/base/run/platform_drv.inc @@ -130,7 +130,7 @@ proc platform_drv_config {} { if {[have_spec acpi]} { append drv_config { - + diff --git a/repos/ports/run/virtualbox.run b/repos/ports/run/virtualbox.run index 13c033f58..5a7fe2455 100644 --- a/repos/ports/run/virtualbox.run +++ b/repos/ports/run/virtualbox.run @@ -198,7 +198,7 @@ append_if [expr $use_gui] config { - + @@ -213,14 +213,14 @@ append_if [expr $use_gui] config { - + - } + } append_if [expr $use_gui] config " " append_if [expr $use_gui] config { @@ -242,7 +242,7 @@ append_if [expr $use_gui] config { } append config { - } + } append config " " append config {