From 9067768d25cc575c23858515fb944a2131380210 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Fri, 24 Feb 2017 12:30:36 +0100
Subject: [PATCH] gdb_monitor: use 'with_libc()'

---
 repos/ports/src/app/gdb_monitor/main.cc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/repos/ports/src/app/gdb_monitor/main.cc b/repos/ports/src/app/gdb_monitor/main.cc
index c4139c67b..7646632c9 100644
--- a/repos/ports/src/app/gdb_monitor/main.cc
+++ b/repos/ports/src/app/gdb_monitor/main.cc
@@ -40,5 +40,7 @@ void Libc::Component::construct(Libc::Env &env)
 	int argc = 3;
 	const char *argv[] = { "gdbserver", "/dev/terminal", "target", 0 };
 
-	gdbserver_main(argc, argv);
+	Libc::with_libc([&] () {
+		gdbserver_main(argc, argv);
+	});
 }