From 19bad919a6dfaa088a5f10efaf87da9b44f4768e Mon Sep 17 00:00:00 2001
From: Stefan Kalkowski <stefan.kalkowski@genode-labs.com>
Date: Thu, 10 May 2012 15:42:41 +0200
Subject: [PATCH] Add std::terminate to ldso whitelist.

Due to recent changes on the Fiasco.OC platform, when building ldso
applications for this platform the std::terminate function is needed
by the ~Ipc_server destructor. So we've to add it to ldso's whitelist.
---
 os/src/lib/ldso/symbol.map | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/os/src/lib/ldso/symbol.map b/os/src/lib/ldso/symbol.map
index 6996bafaad..661abdb99a 100644
--- a/os/src/lib/ldso/symbol.map
+++ b/os/src/lib/ldso/symbol.map
@@ -50,6 +50,8 @@
 		/* GNU verbose terminate handler */
 		extern "C++" { __gnu_cxx::__verbose_terminate_handler*; };
 
+		extern "C++" { std::terminate*; };
+
 		/* x86 */
 		__cxa*;
 		_Unwind_Resume;