diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run index ca167e5b21..334ecdd8e1 100644 --- a/repos/ports/run/genode_org.run +++ b/repos/ports/run/genode_org.run @@ -56,6 +56,7 @@ append config { + @@ -89,7 +90,7 @@ append_if $use_nic_driver config { append_platform_drv_config append config { - + diff --git a/repos/ports/run/lighttpd.run b/repos/ports/run/lighttpd.run index 32708022ba..e11c1645b7 100644 --- a/repos/ports/run/lighttpd.run +++ b/repos/ports/run/lighttpd.run @@ -33,6 +33,7 @@ append config { +