ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-08 20:05:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

ports: fix 'seoul' compile errors with GCC 8.3.0

Browse Source 
Fixes #3352
This commit is contained in:
Christian Prochaska 2019-05-06 18:02:49 +02:00 committed by Christian Helmuth
parent 863654d188
commit 9923a1bf50
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
repos/ports/src/app/seoul/user_env.cc
View File

@ -135,12 +135,26 @@ void operator delete[](void *ptr)
Genode::warning("delete[] not implemented ", ptr);
}
void operator delete[](void *ptr, long unsigned int)
{
if (verbose_memory_leak)
Genode::warning("delete[] not implemented ", ptr);
}
void operator delete (void * ptr)
{
heap_free(ptr);
}
void operator delete(void *ptr, long unsigned int)
{
heap_free(ptr);
}
void do_exit(char const *msg)
{
Genode::log("*** ", msg);