From 1f679cdffef6a2936a569da793494e8b9f68beb2 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 25 Jul 2017 13:50:05 +0200 Subject: [PATCH] ports: assign caps in genode_org.run, lighttpd.run --- repos/ports/run/genode_org.run | 3 ++- repos/ports/run/lighttpd.run | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) 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 { +