From f789c8152c1700ad6d580f9818521c9425b57ef5 Mon Sep 17 00:00:00 2001 From: Norman Feske Date: Tue, 13 Jun 2023 15:03:50 +0200 Subject: [PATCH] stdcxx: add missing symbol Needed for building noux_pkg/gcc_x86 for x86_32 when using the compiler's default optimization level (not Genode's default CC_OLEVEL). --- repos/libports/lib/symbols/stdcxx | 1 + 1 file changed, 1 insertion(+) diff --git a/repos/libports/lib/symbols/stdcxx b/repos/libports/lib/symbols/stdcxx index 89c2aaf963..7fc552e66c 100644 --- a/repos/libports/lib/symbols/stdcxx +++ b/repos/libports/lib/symbols/stdcxx @@ -1493,6 +1493,7 @@ _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE14_M_replace_auxEmmmc W _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE2atEm W _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE3endEv W _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4backEv W +_ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4dataEv W _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4nposE W _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE4swapERS4_ W _ZNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEE5beginEv W