denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 20:42:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

okl4: fix hanging tests when built with gcc 12

Browse Source 
Fixes #4838
This commit is contained in:
Christian Prochaska
2023-04-29 16:05:41 +02:00
committed by Christian Helmuth
parent 0eda98b03e
commit aa44ada2d4
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
repos/base-okl4/lib/mk/kernel-okl4.inc
View File

@@ -38,6 +38,7 @@ CC_OPT += -Wno-write-strings -Wredundant-decls -Wundef \
-fno-builtin -fomit-frame-pointer \
-fno-exceptions -fno-unwind-tables \
-fno-asynchronous-unwind-tables \
-fno-tree-dse \
-finline-limit=99999999 $(addprefix -D,$(CONFIG)) \
"-D__USER__=\"Genode Labs\""
CC_OPT += -DCONFIG_MAX_THREAD_BITS=10