diff --git a/repos/base/run/slab.run b/repos/base/run/slab.run index 1c9a55f1ba..7d3e0e7d31 100644 --- a/repos/base/run/slab.run +++ b/repos/base/run/slab.run @@ -27,7 +27,7 @@ install_config { - + diff --git a/repos/libports/run/fetchurl.run b/repos/libports/run/fetchurl.run index c1a88c3aae..3b1a2de2aa 100644 --- a/repos/libports/run/fetchurl.run +++ b/repos/libports/run/fetchurl.run @@ -57,7 +57,7 @@ append config { append_platform_drv_config append_if [have_spec gpio] config " - + diff --git a/repos/libports/run/lwip.run b/repos/libports/run/lwip.run index dd71d2a589..6a892b7805 100644 --- a/repos/libports/run/lwip.run +++ b/repos/libports/run/lwip.run @@ -77,7 +77,7 @@ set config { - + @@ -86,7 +86,7 @@ set config { } append_if [have_spec gpio] config " - + diff --git a/repos/libports/run/nic_bridge.run b/repos/libports/run/nic_bridge.run index cf4d87dc8d..611f8336c2 100644 --- a/repos/libports/run/nic_bridge.run +++ b/repos/libports/run/nic_bridge.run @@ -80,7 +80,7 @@ append config { gateway="10.0.2.1"/> - + @@ -126,4 +126,4 @@ append_if [have_spec lan9118] qemu_args " -net nic,model=lan9118 " append qemu_args " -net user " -run_genode_until ".*\"test-http_clnt\" exited with exit value 0.*\n" 30 +run_genode_until ".*\"test-http_clnt\" exited with exit value 0.*\n" 40 diff --git a/repos/os/run/trace_logger.run b/repos/os/run/trace_logger.run index 6c23447c09..7042e21f22 100644 --- a/repos/os/run/trace_logger.run +++ b/repos/os/run/trace_logger.run @@ -53,7 +53,7 @@ append config { append_platform_drv_config append_if [have_spec gpio] config " - + diff --git a/repos/ports/run/netperf.inc b/repos/ports/run/netperf.inc index edd36c255b..4a02ac99c4 100644 --- a/repos/ports/run/netperf.inc +++ b/repos/ports/run/netperf.inc @@ -136,7 +136,7 @@ set config { } append_if [have_spec gpio] config " - + diff --git a/repos/ports/run/noux_net_netcat.run b/repos/ports/run/noux_net_netcat.run index 7999934a7c..19bcf6d2dd 100644 --- a/repos/ports/run/noux_net_netcat.run +++ b/repos/ports/run/noux_net_netcat.run @@ -122,7 +122,7 @@ append_if $use_nic_driver config { } append_if [have_spec gpio] config " - +