From fd89f510cadfb984720386b56e9b0b4288c6e6aa Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 19 Dec 2017 14:15:31 +0100
Subject: [PATCH] fetchurl.run: update list of needed boot modules

---
 repos/libports/run/fetchurl.run | 2 --
 1 file changed, 2 deletions(-)

diff --git a/repos/libports/run/fetchurl.run b/repos/libports/run/fetchurl.run
index 38a5ea3db..b220261e2 100644
--- a/repos/libports/run/fetchurl.run
+++ b/repos/libports/run/fetchurl.run
@@ -66,9 +66,7 @@ set boot_modules {
 	curl.lib.so
 	fetchurl
 	libc.lib.so
-	libc.lib.so
 	libcrypto.lib.so
-	libm.lib.so
 	libssh.lib.so
 	libssl.lib.so
 	lwip.lib.so