diff options
author | Jari Vetoniemi <mailroxas@gmail.com> | 2018-11-18 08:06:46 +0200 |
---|---|---|
committer | Jari Vetoniemi <mailroxas@gmail.com> | 2018-11-18 08:06:46 +0200 |
commit | 655b57ee7f5c54d09ab6fa7ca9776156ff8a9166 (patch) | |
tree | 7d476385bb249a3096c43735f6d9943b1cfefe74 /src/wrapper | |
parent | f1efa44485199a4b545d28c121d7d2dc3ecfed4a (diff) |
linker: fix cpp_demangler setting
Diffstat (limited to 'src/wrapper')
-rw-r--r-- | src/wrapper/wrapper.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/wrapper/wrapper.c b/src/wrapper/wrapper.c index 2767114..5411754 100644 --- a/src/wrapper/wrapper.c +++ b/src/wrapper/wrapper.c @@ -90,6 +90,7 @@ wrapper_set_cpp_demangler(void *function) { #ifdef WRAPPER_TRACE __cxa_demangle.ptr = function; + verbose_log("wrapper: set cpp_demangler to %p", function); #endif } |