From d5b1f4fa5f7fb297e2c48c9686eb2f0b555d25dd Mon Sep 17 00:00:00 2001
From: Martin Stein <martin.stein@genode-labs.com>
Date: Tue, 21 Feb 2017 14:57:37 +0100
Subject: [PATCH] echo_udp.run: remove unnecessary stdcxx

Ref #2285
---
 repos/libports/run/echo_udp.run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/libports/run/echo_udp.run b/repos/libports/run/echo_udp.run
index 4463b7e075..dee892802e 100644
--- a/repos/libports/run/echo_udp.run
+++ b/repos/libports/run/echo_udp.run
@@ -100,7 +100,7 @@ install_config $config
 set boot_modules {
 	core init timer nic_drv vfs dynamic_rom
 	ld.lib.so libc.lib.so libm.lib.so
-	libc_resolv.lib.so stdcxx.lib.so
+	libc_resolv.lib.so
 	vfs_lxip.lib.so lxip.lib.so
 	test-echo_udp
 }