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

ada: fix exception handling

Browse Source 
Fixes #3061
This commit is contained in:
Johannes Kliemann
2018-11-27 22:47:17 +01:00
committed by Christian Helmuth
parent 3b1653dad7
commit db162477a4
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base/mk/global.mk
View File

@@ -169,7 +169,7 @@ CC_OPT += $(CC_OPT_PIC)
#
CC_CXX_OPT += $(CC_OPT) $(CC_CXX_WARN)
CC_C_OPT += $(CC_OPT)
CC_ADA_OPT += $(CC_OPT)
CC_ADA_OPT += $(CC_OPT) -fexceptions
#
# Rust-specific arguments