From bbc73e96ac6268d2f400d3a3f6a0aec4983729b0 Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Thu, 17 May 2018 20:11:27 +0200
Subject: [PATCH] nic_bridge.run: remove libm from boot modules

libm is obviously not needed anymore and not build. Thus, this fixes a run
error.

Issue #2837
---
 repos/libports/run/nic_bridge.run | 1 -
 1 file changed, 1 deletion(-)

diff --git a/repos/libports/run/nic_bridge.run b/repos/libports/run/nic_bridge.run
index 4e3ddedd2e..cf4d87dc8d 100644
--- a/repos/libports/run/nic_bridge.run
+++ b/repos/libports/run/nic_bridge.run
@@ -106,7 +106,6 @@ append boot_modules {
 	nic_bridge
 	ld.lib.so
 	libc.lib.so vfs.lib.so
-	libm.lib.so
 	lwip_legacy.lib.so
 	test-http_clnt
 	test-lwip_httpsrv_static