mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
libsparkcrypto: don't override CUSTOM_ADA_OPT
CUSTOM_ADA_OPT must not be defined outside <build-dir>/etc/tools.conf
This commit is contained in:
committed by
Christian Helmuth
parent
9d236e8e03
commit
724761565d
@@ -77,4 +77,4 @@ vpath %.adb $(LSC_DIR)/shared/generic
|
||||
vpath %.ads $(LSC_DIR)/shared/generic
|
||||
|
||||
SHARED_LIB = yes
|
||||
CUSTOM_ADA_OPT += -gnatec=$(LSC_DIR)/../build/pragmas.adc -fPIC
|
||||
CC_ADA_OPT += -gnatec=$(LSC_DIR)/../build/pragmas.adc -fPIC
|
||||
|
||||
Reference in New Issue
Block a user