genode/repos/libports/src/lib/curl
Josef Söntgen f66b828a97 curl: use select instead of poll
The way curl interacts with our poll() emulation on top of
select() leads to problems while establishing a connection.
2017-05-31 13:16:16 +02:00
..
spec Introduce 'spec' subdirectories to outline aspects 2015-09-16 13:58:50 +02:00
configure.patch libports: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00
curl_config.h curl: use select instead of poll 2017-05-31 13:16:16 +02:00
curl_h.patch libports: migrate to new ports mechanism 2014-05-27 11:14:42 +02:00