diff --git a/repos/ports/run/seoul.inc b/repos/ports/run/seoul.inc index 8e11a18cd8..c0b6d6ad3a 100644 --- a/repos/ports/run/seoul.inc +++ b/repos/ports/run/seoul.inc @@ -394,7 +394,7 @@ append_if $use_framebuffer config { if {!$use_fancy_stuff} { append config { - + } append config " "